Beth definability for the guarded fragment.

E. Hoogland; M.J. Marx; M. Otto

Beth definability for the guarded fragment.

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	237-285
Journal	Lecture Notes in Computer Science
Volume	1705
Publication status	Published - 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

Persistent URL (handle)

Persistent link

Cite this

@article{5f8263849f02473e99d59ff70712d5e3,

title = "Beth definability for the guarded fragment.",

author = "E. Hoogland and M.J. Marx and M. Otto",

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",

year = "1999",

language = "English",

volume = "1705",

pages = "237--285",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Beth definability for the guarded fragment.

AU - Hoogland, E.

AU - Marx, M.J.

AU - Otto, M.

N1 - 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

PY - 1999

Y1 - 1999

M3 - Article

SN - 0302-9743

VL - 1705

SP - 237

EP - 285

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -