Zoekresultaten
Resultaat 1 - 9 (van 9)
M.J. Hollenberg Safety for bisimulation in monadic second-order logic
Non-fictie
Engels | 19 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
Giovanna D'Agostino | M.J. Hollenberg Uniform interpolation, automata and the modal →m⇋-calculus
Non-fictie
Engels | 18 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
M.J. Hollenberg An axiomatisation of strong negation and relational composition
Non-fictie
Engels | 15 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
M.J. Hollenberg Negative definability in modal logic
Non-fictie
Engels | 38 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1994
Gedrukt boek
M.J. Hollenberg Logic and bisimulation
Non-fictie
Engels | 179 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1998
Gedrukt boek
M.J. Hollenberg | A. Visser Dynamic negation, the one and only
Non-fictie
Engels | 5 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1997
Gedrukt boek
M.J. Hollenberg Bisimulation respecting first-order operations
Non-fictie
Engels | 31 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
M.J. Hollenberg Equational axioms of test algebra
Non-fictie
Engels | 26 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
M.J. Hollenberg | C.F.M. Vermeulen Counting variables in a dynamic setting
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek