✦ LIBER ✦

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 85 || The complexity of the inequivalence problem for regular expressions with intersection

✍ Scribed by Bakker, Jaco; Leeuwen, Jan

Book ID: 111875929
Publisher: Springer Berlin Heidelberg
Year: 1980
Weight: 681 KB
Category: Article
ISBN: 3540393463
DOI: 10.1007/3-540-10003-2_74

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 5125 || The Complexity of Boolean Formula Minimization

✍ Aceto, Luca; Damgård, Ivan; Goldberg, Leslie Ann; Halldórsson, Magnús M.; Ingólf 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 462 KB

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. The 126 revised full papers presented together with 4 invited lectures were carefully rev

[Lecture Notes in Computer Science] STAC

[Lecture Notes in Computer Science] STACS 2002 Volume 2285 || The Membership Problem for Regular Expressions with Intersection Is Complete in LOGCFL

✍ Alt, Helmut; Ferreira, Afonso 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 543 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || The Definition of a Temporal Clock Operator

✍ Baeten, Jos C. M.; Lenstra, Jan Karel; Parrow, Joachim; Woeginger, Gerhard J. 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 391 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1099 || On the power of randomized branching programs

✍ Meyer, Friedhelm; Monien, Burkhard 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 498 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 115 || Impartiality, justice and fairness: The ethics of concurrent termination

✍ Even, Shimon; Kariv, Oded 📂 Article 📅 1981 🏛 Springer Berlin Heidelberg ⚖ 724 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 510 || A confluent reduction for the λ-calculus with surjective pairing and terminal object

✍ Albert, Javier Leach; Monien, Burkhard; Artalejo, Mario Rodríguez 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 894 KB