✦ LIBER ✦

[Lecture Notes in Computer Science] Automata, Languages, and Programming Volume 7966 || Evolving Graph-Structures and Their Implicit Computational Complexity

✍ Scribed by Fomin, Fedor V.; Freivalds, Rūsiņš; Kwiatkowska, Marta; Peleg, David

Book ID: 121487296
Publisher: Springer Berlin Heidelberg
Year: 2013
Weight: 240 KB
Category: Article
ISBN: 3642392121
DOI: 10.1007/978-3-642-39212-2_32

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 7966 || Outsourced Pattern Matching

✍ Fomin, Fedor V.; Freivalds, Rūsiņš; Kwiatkowska, Marta; Peleg, David 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 236 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 14 || Composition of automata

✍ Loeckx, J. 📂 Article 📅 1974 ⚖ 785 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 944 || Theory of 2-structures

✍ Fülöp, Zoltán; Gécseg, Ferenc 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 701 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 172 || Languages and inverse semigroups

✍ Paredaens, Jan 📂 Article 📅 1984 🏛 Springer Berlin Heidelberg ⚖ 539 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 71 || Investigating programs in terms of partial graphs

✍ Maurer, Hermann A. 📂 Article 📅 1979 🏛 Springer Berlin Heidelberg ⚖ 848 KB

[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