Zoekresultaten
Resultaat 21 - 27 (van 27)
Maarten Marx Complexity of modal logics of relations
Non-fictie
Engels | 72 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek
Yde Venema | Maarten Marx A modal logic of relations
Non-fictie
Engels | 31 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Maarten Marx Algebraic relativization and arrow logic
Non-fictie
Engels | 165 pagina's | Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam | 1995
Gedrukt boek
Maarten Marx | Szabolcs Mikulás | I. Németi Taming arrow logic
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Patrick Blackburn | Maarten Marx Constructive interpolation in hybrid logic
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Maarten Marx | S. Schlobach | Szabolcs Mikulás Labelled deduction for the guarded fragment
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Maarten Marx Amalgamation in finite dimensional cylindric algebras
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek