Descriptional Complexity of Formal Systems
Subtitle: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
By: edited by Martin Kutrib, Nelma Moreira, Rogério Reis
Contributors: Moreira, Nelma; Reis, Rogério; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7386
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642316234
Subjects: Logic design; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science