Zoekresultaten
Resultaat 1 - 5 (van 5)
J.F. Groote | S.F.M. van Vlijmen Modal logic for →m⇋CRL
Non-fictie
Engels | 17 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 1994
Gedrukt boek
J.F. Groote Hiding propositional constants in BDDs
Non-fictie
Engels | 5 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1994
Gedrukt boek
J.F. Groote | H.P. Korver A correctness proof of the Bakery protocol in →m⇋CRL
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Marc Bezem | J.F. Groote Proving a graph well founded using resolution
Non-fictie
Engels | 11 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1994
Gedrukt boek
J.F. Groote | J.W.C. Koorn | S.F.M. van Vlijmen The safety guaranteeing system at station Hoorn-Kersenboogerd
Non-fictie
Engels | 46 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1994
Gedrukt boek