Holzer, Markus.
Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / [electronic resource] : edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6808 0302-9743 ; . - Lecture Notes in Computer Science, 6808 .
9783642226007
10.1007/978-3-642-22600-7 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Computation by Abstract Devices.
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
QA75.5-76.95
004.0151
Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / [electronic resource] : edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6808 0302-9743 ; . - Lecture Notes in Computer Science, 6808 .
9783642226007
10.1007/978-3-642-22600-7 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Computation by Abstract Devices.
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
QA75.5-76.95
004.0151