Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 2012 Proceedings (Lecture Notes in Computer Science)
54.99 EUR53.49 EUR3% Off
Der Band dokumentiert die Erkenntnisse des 14. Workshops zur beschreibenden Komplexität formaler Systeme, präsentiert neue theoretische Ansätze und praktische Anwendungen in der Logikforschung.