✦ LIBER ✦

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 7604 || On Properties and State Complexity of Deterministic State-Partition Automata

✍ Scribed by Baeten, Jos C. M.; Ball, Tom; de Boer, Frank S.

Book ID: 120306482
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 316 KB
Category: Article
ISBN: 364233475X
DOI: 10.1007/978-3-642-33475-7_12

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 104 || Concurrency and automata on infinite sequences

✍ Deussen, Peter 📂 Article 📅 1981 🏛 Springer-Verlag ⚖ 816 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2011 Volume 6907 || State Complexity of Operations on Input-Driven Pushdown Automata

✍ Murlak, Filip; Sankowski, Piotr 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 205 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata Implementation Volume 2214 || State Complexity of Basic Operations on Finite Languages

✍ Boldt, Oliver; Jürgensen, Helmut 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 241 KB

[Lecture Notes in Computer Science] SOFS

[Lecture Notes in Computer Science] SOFSEM 2009: Theory and Practice of Computer Science Volume 5404 || On Stateless Deterministic Restarting Automata

✍ Nielsen, Mogens; Kučera, Antonín; Miltersen, Peter Bro; Palamidessi, Catuscia; T 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 221 KB

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully revie

[Lecture Notes in Computer Science] LATI

[Lecture Notes in Computer Science] LATIN'98: Theoretical Informatics Volume 1380 || Super-state automata and rational trees

✍ Lucchesi, Cláudio L.; Moura, Arnaldo V. 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 561 KB

[Lecture Notes in Computer Science] Aspe

[Lecture Notes in Computer Science] Aspects and Prospects of Theoretical Computer Science Volume 464 || Monoids described by pushdown automata

✍ Dassow, Jürgen; Kelemen, Jozef 📂 Article 📅 1990 🏛 Springer Berlin Heidelberg ⚖ 566 KB