✦ LIBER ✦

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1992 Volume 629 || One-rule trace-rewriting systems and confluence

✍ Scribed by Havel, Ivan M.; Koubek, Václav

Book ID: 121079445
Publisher: Springer Berlin Heidelberg
Year: 1992
Weight: 668 KB
Category: Article
ISBN: 3540472916
DOI: 10.1007/3-540-55808-X_50

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1992 Volume 629 || Graph layout problems

✍ Havel, Ivan M.; Koubek, Václav 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 594 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1992 Volume 629 || On computational power of weighted finite automata

✍ Havel, Ivan M.; Koubek, Václav 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 512 KB

[Lecture Notes in Computer Science] Word

[Lecture Notes in Computer Science] Word Equations and Related Topics Volume 572 || Confluence of one-rule Thue systems

✍ Schulz, K. U. 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 614 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1984 Volume 176 || Thue systems and the Church-Rosser property

✍ Chytil, M. P.; Koubek, V. 📂 Article 📅 1984 🏛 Springer-Verlag 🌐 German ⚖ 970 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1995 Volume 969 || Symbolic dynamics and finite automata

✍ Wiedermann, Jiří; Hájek, Petr 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 609 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2010 Volume 6281 || Slowly Synchronizing Automata and Digraphs

✍ Hliněný, Petr; Kučera, Antonín 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 187 KB

This Volume Constitutes The Refereed Proceedings Of The 35th International Symposium On Mathematical Foundations Of Computer Science, Mfcs 2010, Held In Brno, Czech Republic, In August 2010. The 56 Revised Full Papers Presented Together With 5 Invited Talks Were Carefully Reviewed And Selected From