User Reviews 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.


Please log in to add reviews or comments to the public catalog.
To communicate with library staff, use the Feedback link.

User Reviews for: Descriptional Complexity of Formal Syste