Descriptional Complexity of Formal Systems
53.49 EUR
Der Band fasst die Ergebnisse des dreitägigen Workshops zur beschreibenden Komplexität formaler Systeme zusammen, bietet neue theoretische Einsichten in Logik und Informatik sowie praxisnahe Anwendungsbeispiele.