𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - The General Vector Addition System Reachability Problem by Presburger Inductive Invariants

✍ Scribed by Leroux, Jérôme

Book ID: 126616752
Publisher: IEEE
Year: 2009
Weight: 369 KB
Category: Article
ISBN: 0769537464
DOI: 10.1109/LICS.2009.10

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 24th Annual IEEE Symposium on

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Pointer Programs and Undirected Reachability

✍ Hofmann, Martin; Schopp, Ulrich 📂 Article 📅 2009 🏛 IEEE ⚖ 376 KB

[IEEE 2009 24th Annual IEEE Symposium on

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Logics with Rank Operators

✍ Dawar, Anuj; Grohe, Martin; Holm, Bjarki; Laubner, Bastian 📂 Article 📅 2009 🏛 IEEE ⚖ 339 KB

[IEEE 2009 24th Annual IEEE Symposium on

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Computation and the Periodic Table

✍ Baez, John 📂 Article 📅 2009 🏛 IEEE ⚖ 99 KB

[IEEE 2009 24th Annual IEEE Symposium on

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Graph Reachability and Pebble Automata over Infinite Alphabets

✍ Tan, Tony 📂 Article 📅 2009 🏛 IEEE ⚖ 266 KB

[IEEE 2009 24th Annual IEEE Symposium on

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Expressiveness and Closure Properties for Quantitative Languages

✍ Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 📂 Article 📅 2009 🏛 IEEE ⚖ 314 KB

[IEEE 2009 24th Annual IEEE Symposium on

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Co-ing Büchi Made Tight and Useful

✍ Boker, Udi; Kupferman, Orna 📂 Article 📅 2009 🏛 IEEE ⚖ 292 KB