Local variations on a loose theme: modal logic and decidability

Authors
Publication date 2007
Host editors
  • E. Grädel
  • P. Kolaitis
  • L. Libkin
  • M.J. Marx
  • J. Spencer
  • M. Vardi
  • Y. Venema
  • S. Weinstein
Book title Finite Model Theory and its Applications
Pages (from-to) 371-430
Publisher Berlin: Springer Verlag
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Note marx:loca07
Permalink to this page
Back