Eva Hoogland (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Eva Hoogland, Maarten Marx: Interpolation and Definability in Guarded Fragments. Studia Logica 70(3): 373-409 (2002)

2 Eva Hoogland, Maarten Marx, Martin Otto: Beth Definability for the Guarded Fragment. LPAR 1999: 273-285

Selection of 2 from 5 records - Eva Hoogland has 5 coauthors

4		Eva Hoogland, Maarten Marx: Interpolation and Definability in Guarded Fragments. Studia Logica 70(3): 373-409 (2002)
2		Eva Hoogland, Maarten Marx, Martin Otto: Beth Definability for the Guarded Fragment. LPAR 1999: 273-285