Items where Author is "Hoogland, Eva"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Report | Thesis
Number of items: 5.

Report

PP-2000-11: Hoogland, Eva and Marx, Maarten (2000) Interpolation in Guarded Fragments. [Report]

PP-1999-10: Hoogland, Eva (1999) Algebraic Characterizations of Various Beth Definability Properties. [Report]

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

ML-1998-11: Areces, Carlos and de Jongh, Dick and Hoogland, Eva (1998) The Interpolation Theorem for IL and ILP. [Report]

Thesis

DS-2001-05: Hoogland, Eva (2001) Definability and Interpolation: Model-theoretic investigations. Doctoral thesis, University of Amsterdam.

This list was generated on Sun Dec 22 00:30:16 2024 CET.
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