✦ LIBER ✦

[Lecture Notes in Computer Science] Word Equations and Related Topics Volume 572 || A note on confluent Thue systems

✍ Scribed by Schulz, K. U.

Book ID: 121079443
Publisher: Springer Berlin Heidelberg
Year: 1992
Weight: 381 KB
Category: Article
ISBN: 3540467378
DOI: 10.1007/3-540-55124-7_10

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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] Word

[Lecture Notes in Computer Science] Word Equations and Related Topics Volume 677 || Theorem proving by combinatorial optimization

✍ Abdulrab, Habib; Pécuchet, Jean-Pierre 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 331 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] Term

[Lecture Notes in Computer Science] Term Rewriting and Applications Volume 3467 || Termination of Single-Threaded One-Rule Semi-Thue Systems

✍ Giesl, Jürgen 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 250 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Systems Theory — EUROCAST 2001 Volume 2178 || Hybrid Systems’ Properties — Classification and Relation to Computer Science

✍ Moreno-Díaz, Roberto; Buchberger, Bruno; Luis Freire, José 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 288 KB

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) necessary to

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Linguistics and Intelligent Text Processing Volume 7816 || Topic-Oriented Words as Features for Named Entity Recognition

✍ Gelbukh, Alexander 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 282 KB

This two-volume set, consisting of LNCS 7816 and LNCS 7817, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing, CICLING 2013, held on Samos, Greece, in March 2013. The total of 91 contributions presented was careful