Finite model theory and its applications

Authors
  • E. Grädel
  • P. Kolaitis
  • L. Libkin
  • M.J. Marx ORCID logo
  • J. Spencer
  • M. Vardi
  • Y. Venema
  • S. Weinstein
Publication date 2007
ISBN
  • 9783540004288
Series Texts in theoretical computer science, 13
Number of pages 437
Publisher Berlijn: Springer
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Book (Editorship)
Permalink to this page
Back