Beth definability for the guarded fragment.

E. Hoogland, M.J. Marx, M. Otto

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)237-285
JournalLecture Notes in Computer Science
Publication statusPublished - 1999

Bibliographical note

Proceedings title: Logic for Programming and Automated Reasoning, 6th International Conference LPAR99, Tbilisi, Georgia, volume 1705 of LNAI
Publisher: Springer Verlag
Editors: H. Ganzinger, D. McAllester, A. Voronkov

Cite this