Zoekresultaten
Resultaat 1 - 5 (van 5)
Maarten Marx | Yde Venema Local variations on a loose theme: modal logic and decidability
Non-fictie
Engels | 57 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
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
Maarten Marx | Nick Bezhanishvili All proper normal extensions of S5-square have the polynomial size model property
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Maarten Marx | Szabolcs Mikulás Products, or How to create modal logics of high complexity
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx The computational complexity of hybrid temporal logics
Non-fictie
Engels | 27 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek