Algorithmic-Logical Theory of Infinite Structures

Keyphrases

Publications

volume 7441, 2008

Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007 Algorithmic-Logical Theory of Infinite Structures 7441 (2008)

2007

Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures (2007)
Thierry Cachat
Tree Automata Make Ordinal Theory Easy. Algorithmic-Logical Theory of Infinite Structures (2007)
Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures (2007)
Stefan Göller, Markus Lohrey, Carsten Lutz
PDL with Intersection and Converse is 2EXP-complete. Algorithmic-Logical Theory of Infinite Structures (2007)
Markus Lohrey
Application of verification techniques to inverse monoids. Algorithmic-Logical Theory of Infinite Structures (2007)
Dietrich Kuske
Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic. Algorithmic-Logical Theory of Infinite Structures (2007)