Beth Definability for the Guarded Fragment

Authors
Publication date 1999
Host editors
  • D. McAllester
  • H. Ganzinger
  • A. Voronkov
Book title Logic for Programming and Automated Reasoning
Event 6th International Conference LPAR99, Tbilisi, Georgia
Volume | Issue number 1705
Pages (from-to) 273-285
Publisher Springer-Verlag
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back