Zoekresultaten
Resultaat 1 - 2 (van 2)
Eva Hoogland | Maarten Marx Interpolation in guarded fragments
Non-fictie
Engels | 29 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Eva Hoogland | Maarten Marx | Martin Otto Beth Definability for the guarded fragment
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek