Zoekresultaten
Resultaat 1 - 5 (van 5)
H. Zantema | P.W.H. Lemmens Beschrijven en bewijzen
Non-fictie
Nederlands | 169 pagina's | Delft University Press, Delft | 1999
Gedrukt boek
H. Zantema | J.F. Groote Transforming equality logic to propositional logic
Non-fictie
Engels | 13 pagina's | Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven | 2003
Gedrukt boek
T. Arts | H. Zantema Termination of constructor systems using semantic unification
Non-fictie
Engels | 4 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1995
Gedrukt boek
T. Arts | H. Zantema Termination of logic programs via labelled term rewrite systems
Non-fictie
Engels | 27 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
Olga Tveretina | H. Zantema A proof system and a decision procedure for equality logic
Non-fictie
Engels | 18 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek