Descriptional Complexity of Formal Systems
53.49 EUR
Ein Fachband aus der 20. IFIP WG 1.02-Konferenz in Halifax, der innovative Methoden zur Analyse der beschreibenden Komplexität formaler Systeme vorstellt und deren Einfluss auf Logik und Informatik diskutiert.