✦ LIBER ✦

[Lecture Notes in Computer Science] STACS 93 Volume 665 || Local automata and completion

✍ Scribed by Enjalbert, P.; Finkel, A.; Wagner, K. W.

Book ID: 121017810
Publisher: Springer Berlin Heidelberg
Year: 1993
Weight: 419 KB
Category: Article
ISBN: 3540475745
DOI: 10.1007/3-540-56503-5_34

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] STAC

[Lecture Notes in Computer Science] STACS 93 Volume 665 || Efficient sharing of many secrets

✍ Enjalbert, P.; Finkel, A.; Wagner, K. W. 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 632 KB

[Lecture Notes in Computer Science] STAC

[Lecture Notes in Computer Science] STACS 93 Volume 665 || Halting problem of one binary Horn clause is undecidable

✍ Enjalbert, P.; Finkel, A.; Wagner, K. W. 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 485 KB

[Lecture Notes in Computer Science] STAC

[Lecture Notes in Computer Science] STACS 2004 Volume 2996 || Automata-Based Analysis of Recursive Cryptographic Protocols

✍ Diekert, Volker; Habib, Michel 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 206 KB

[Lecture Notes in Computer Science] STAC

[Lecture Notes in Computer Science] STACS 94 Volume 775 || About changing the ordering during Knuth-Bendix completion

✍ Enjalbert, Patrice; Mayr, Ernst W.; Wagner, Klaus W. 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 851 KB

[Lecture Notes in Computer Science] STAC

[Lecture Notes in Computer Science] STACS 2006 Volume 3884 || Generalized Modal Satisfiability

✍ Durand, Bruno; Thomas, Wolfgang 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 185 KB

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised full papers presented together with three invited papers were carefully reviewed and selected from 283 submissions. The papers address the who

[Lecture Notes in Computer Science] STAC

[Lecture Notes in Computer Science] STACS 99 Volume 1563 || Worst-Case Equilibria

✍ Meinel, Christoph; Tison, Sophie 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 151 KB

This Book Constitutes The Refereed Proceedings Of The 16th Annual Symposium On Theoretical Aspects Of Computer Science, Stacs 99, Held In Trier, Germany In March 1999. The 51 Revised Full Papers Presented Were Selected From A Total Of 146 Submissions. Also Included Are Three Invited Papers. The Volu