Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften:	Kutrib, Martin (VerfasserIn), Moreira, Nelma (Sonstige), Reis, Rogério (Sonstige)
Titel:	Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings/ edited by Martin Kutrib, Nelma Moreira, Rogério Reis
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2012
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7386
Schlagwörter:	Logic design Computer Science Computer science Machine theory. Konferenzschrift > 2012 > Braga
Buchausg. u.d.T.:	Descriptional complexity of formal systems, Berlin : Springer, 2012, X, 318 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Themen
RVK-Notation:	SS 4800 Lecture notes in computer science Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Schriftenreihen (indiv. Sign.) Lecture notes in computer science
Schlagwörter:	Logic design Computer Science Computer science Machine theory. Konferenzschrift > 2012 > Braga Beschreibungskomplexität