Zoekresultaten
Resultaat 1 - 5 (van 5)
Maarten Marx | Szabolcs Mikulás An elementary construction for a non-elementary procedure
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Patrick Blackburn | Jaap Kamps | Maarten Marx Situation calculus as hybrid logic: first steps
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx Repairing the interpolation theorem in quantified modal logic
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Maarten Marx Complexity of intuitionistic predicate logic with one variable
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2001
Gedrukt boek
Maarten Marx Relation algebra with binders
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek