Items where Author is "Hoogland, Eva"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Report
Number of items: 4.


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]

This list was generated on Wed Dec 12 00:31:23 2018 CET.