𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Descriptional Complexity of Formal Systems Volume 7386 || Logical Analysis of Hybrid Systems

✍ Scribed by Kutrib, Martin; Moreira, Nelma; Reis, Rogério

Book ID
120418459
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
176 KB
Category
Article
ISBN
3642316239

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Desc
[Lecture Notes in Computer Science] Descriptional Complexity of Formal Systems Volume 6808 || The Power of Diversity
✍ Holzer, Markus; Kutrib, Martin; Pighizzini, Giovanni 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 199 KB

This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. The 21 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 54 submissions.

[Lecture Notes in Computer Science] Desc
[Lecture Notes in Computer Science] Descriptional Complexity of Formal Systems Volume 6808 || Geometrical Regular Languages and Linear Diophantine Equations
✍ Holzer, Markus; Kutrib, Martin; Pighizzini, Giovanni 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 264 KB

This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. The 21 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 54 submissions.