Zoekresultaten
Resultaat 1 - 11 (van 11)
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
Erik Barendsen | Marc Bezem Bar recursion versus polymorphism
Non-fictie
Engels | 32 pagina's | Department of Philosophy, Utrecht | 1992
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
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
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 | 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
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