Dagstuhl Seminar Proceedings 07441

Algorithmic-Logical Theory of Infinite Structures

R. Downey, B. Khoussainov, D. Kuske, M. Lohrey, M. Y. Vardi (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 07441, 28.10. - 02.11.2007
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Cachat, Thierry
  • Downey, Rod
  • Göller, Stefan
  • Khoussainov, Bakhadyr
  • Kuske, Dietrich
  • Lohrey, Markus
  • Lutz, Carsten
  • Vardi, Moshe Y.

  •   
    07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures
    Authors: Downey, Rod ; Khoussainov, Bakhadyr ; Kuske, Dietrich ; Lohrey, Markus ; Vardi, Moshe Y.

    Abstract | Document (195 KB) | BibTeX

    07441 Summary -- Algorithmic-Logical Theory of Infinite Structures
    Authors: Downey, Rod ; Khoussainov, Bakhadyr ; Kuske, Dietrich ; Lohrey, Markus ; Vardi, Moshe Y.

    Abstract | Document (48 KB) | BibTeX

    Application of verification techniques to inverse monoids
    Authors: Lohrey, Markus

    Abstract | Document (149 KB) | BibTeX

    Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic
    Authors: Kuske, Dietrich

    Abstract | Document (258 KB) | BibTeX

    PDL with Intersection and Converse is 2EXP-complete
    Authors: Göller, Stefan ; Lohrey, Markus ; Lutz, Carsten

    Abstract | Document (200 KB) | BibTeX

    Tree Automata Make Ordinal Theory Easy
    Authors: Cachat, Thierry

    Abstract | Document (135 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI