Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	DCFS (VerfasserIn)
Weitere Verfasser:	Bordihn, Henning (HerausgeberIn), Tran, Nicholas (HerausgeberIn), Vaszil, György (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2023
Schriftenreihe:	Lecture notes in computer science 13918
Schlagworte:	Konferenzschrift > Komplexitätstheorie > Formale Methode > Automatentheorie
Online Zugang:	Inhaltsverzeichnis Zusätzliche Angaben
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	xvi, 196 Seiten Illustrationen, Diagramme
ISBN:	9783031343254 978-3-031-34325-4