✦ LIBER ✦

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

✍ Scribed by Chytil, M. P.; Koubek, V.

Book ID: 121079487
Publisher: Springer-Verlag
Year: 1984
Tongue: German
Weight: 970 KB
Edition: 1984
Category: Article
ISBN-13: 9783540133728
DOI: 10.1007/BFb0030291

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 1984 Volume 176 || Some connections between presentability of complexity classes and the power of formal systems of reasoning

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

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 202 || Deciding algebraic properties of monoids presented by finite church-rosser Thue systems

✍ Jouannaud, Jean-Pierre 📂 Article 📅 1985 🏛 Springer Berlin Heidelberg ⚖ 742 KB

[Lecture Notes in Computer Science] Math

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

✍ Havel, Ivan M.; Koubek, Václav 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 668 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

[Lecture Notes in Computer Science] Cond

[Lecture Notes in Computer Science] Conditional and Typed Rewriting Systems Volume 968 || Church-Rosser property and unique normal form property of non-duplicating term rewriting systems

✍ Dershowitz, Nachum; Lindenstrauss, Naomi 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 816 KB