PP-1999-20: Beth Definability for the Guarded Fragment

PP-1999-20: Hoogland, Eva and Marx, Maarten and Otto, Martin (1999) Beth Definability for the Guarded Fragment. [Report]

[thumbnail of Full Text] Text (Full Text)
PP-1999-20.text.ps.gz
Download (107kB)
[thumbnail of Abstract] Text (Abstract)
PP-1999-20.abstract.html
Download (1kB)
Item Type: Report
Report Nr: PP-1999-20
Series Name: Prepublication (PP) Series
Year: 1999
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/20

Actions (login required)

View Item View Item
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility