✦ LIBER ✦

The Closed Fragment of IL is PSPACE Hard

✍ Scribed by Félix Bou; Joost J. Joosten

Book ID: 113602754
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 194 KB
Volume: 278
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2011.10.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strong bounds on the approximability of

Strong bounds on the approximability of two Pspace-hard problems in propositional planning

✍ Peter Jonsson 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 118 KB

The consequence relation in the logic of

The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete

✍ Simone Bova; Franco Montagna 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 978 KB

A Topological Study of the Closed Fragme

A Topological Study of the Closed Fragment of GLP

✍ Icard, T. 📂 Article 📅 2009 🏛 Oxford University Press 🌐 English ⚖ 178 KB

The existential theory of equations with

The existential theory of equations with rational constraints in free groups is PSPACE-complete

✍ Volker Diekert; Claudio Gutierrez; Christian Hagenah 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 424 KB

Is the Canon on Jonestown Closed?

✍ Rebecca Moore 📂 Article 📅 2000 🏛 University of California Press 🌐 English ⚖ 132 KB

On the relation between virial coefficie

On the relation between virial coefficients and the close-packing of hard disks and hard spheres

✍ Maestre, Miguel Ángel G.; Santos, Andrés; Robles, Miguel; de Haro, Mariano Ló 📂 Article 📅 2011 🏛 American Institute of Physics 🌐 English ⚖ 661 KB