Zoekresultaten
Resultaat 1 - 20 (van 25)
Marc Bezem Extensionality of simply typed logic programs
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
Marc Bezem | D. Hendriks Clausification in Coq
Non-fictie
Engels | 12 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1998
Gedrukt boek
K.R. Apt | Marc Bezem Formulas as programs
Non-fictie
Engels | 26 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
Marc Bezem | K. Blok | M. Keijzer Metrics for classifying heterogeneous objects
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
Marc Bezem | M. Keijzer Generalizing Hamming distance to finite sets
Non-fictie
Engels | 7 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
Marc Bezem | J.W. Klop | V. van Oostrom Diagram techniques for confluence
Non-fictie
Engels | 34 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
Marc Bezem | R.N. Bol | J.F. Groote Formalizing process algebraic verifications in the calculus of constructions
Non-fictie
Engels | 49 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1995
Gedrukt boek
Erik Barendsen | Marc Bezem Polymorphic extensions of simple type structures
with an application to a bar recursive minimization
Non-fictie
Engels | 61 pagina's | Computing Science Institute, Faculty of Mathematics and Informatics, [Katholieke Universiteit Nijmegen], Nijmegen | 1994
Gedrukt boek
S. Berardi | Marc Bezem | T. Coquand On the computational content of the axiom of choice
Non-fictie
Engels | 22 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 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
Marc Bezem | J.F. Groote A correctness proof of a one-bit sliding window protocol in →m⇋CRL
Non-fictie
Engels | 23 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
Marc Bezem | J.F. Groote A formal verification of the alternating bit protocol in the calculus of constructions
Non-fictie
Engels | 26 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
Marc Bezem | J.F. Groote Invariants in process algebra with data
Non-fictie
Engels | 15 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1993
Gedrukt boek
Erik Barendsen | Marc Bezem Bar recursion versus polymorphism
Non-fictie
Engels | 32 pagina's | Department of Philosophy, Utrecht | 1992
Gedrukt boek
Wim Veldman | Marc Bezem Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek
Marc Bezem Strong termination of logic programs
Non-fictie
Engels | 15 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek
Marc Bezem Impredicative recursion
terms depending on order types; (extended abstract)
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek
Erik Barendsen | Marc Bezem Bar recursion versus polymorphism
extended abstract
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek
K.R. Apt | Marc Bezem Acyclic programs
(extended abstract)
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Marc Bezem Characterizing termination of logic programs with level mappings
Non-fictie
Engels | 10 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek