Descriptional complexity of formal systems 15th international workshop, DCFS 2013, London, ON, Canada, July 22 - 25, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	DCFS (BerichterstatterIn)
Weitere Verfasser:	Jürgensen, Helmut (HerausgeberIn), Reis, Rogério (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg Springer 2013
Schriftenreihe:	Lecture notes in computer science 8031
Schlagworte:	Formal languages > Machine theory > Formal methods (Computer science) > Konferenzschrift > Beschreibungskomplexität
Online Zugang:	Inhaltsverzeichnis Inhaltstext Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!