The Closed Fragment of IL is PSPACE Hard
β
FΓ©lix Bou; Joost J. Joosten
π
Article
π
2011
π
Elsevier Science
π
English
β 194 KB