Table of Contents for: Descriptional Complexity of Formal Syste

 Staff view

You must be logged in to Tag Records

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

edited by Martin Kutrib, Nelma Moreira, Rogério Reis.

Book Cover
Names: Kutrib, Martin. | Moreira, Nelma. | Reis, Rogério.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Series: Lecture Notes in Computer Science, 7386
Topics: Computer science. | Logic design. | Computer Science. | Computation by Abstract Devices. | Mathematical Logic and Formal Languages. | Logics and Meanings of Programs.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


[Empty]

Table of Contents for: Descriptional Complexity of Formal Syste