Zoekresultaten
Resultaat 1 - 20 (van 37)
H. Zantema De achterkant van sudoku
oplossen, programmeren en ontwerpen
Non-fictie
Nederlands | 144 pagina's | Aramith, Haarlem | 2007
Gedrukt boek
H. Zantema | P.W.H. Lemmens Beschrijven en bewijzen
Non-fictie
Nederlands | 169 pagina's | Delft University Press, Delft | 1999
Gedrukt boek
Jeroen Fokker | H. Zantema | S.D. Swierstra Programmeren en correctheid
Inleiding in een formele benadering van programmeren.
Non-fictie
Nederlands | 195 pagina's | Academic Service, Schoonhoven | 1991
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
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
H. Zantema Termination of string rewriting proved automatically
Non-fictie
Engels | 28 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek
J. Giesl | H. Zantema Liveness in rewriting
Non-fictie
Engels | 26 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek
Olga Tveretina | H. Zantema Transforming DPLL to resolution
Non-fictie
Engels | 16 pagina's | TU/e, Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
H. Zantema | J.C. van de Pol A rewriting approach to binary decision diagrams
Non-fictie
Engels | 28 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2001
Gedrukt boek
J.F. Groote | H. Zantema Resolution and binary decision diagrams cannot simulate each other polynomially
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
J.C. van de Pol | H. Zantema Binary decision diagrams by shared rewriting
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
H. Zantema Termination of context-sensitive rewriting
Non-fictie
Engels | 16 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1997
Gedrukt boek
H. Zantema | A. Geser Non-looping rewriting
Non-fictie
Engels | 26 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
W.J. Fokkink | H. Zantema Termination modulo equations by abstract commutation with an application to iteration
Non-fictie
Engels | 17 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
A. Middeldorp | H. Ohsaki | H. Zantema Transforming termination by self-labelling
Non-fictie
Engels | 15 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
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
W.J. Fokkink | H. Zantema A complete equational axiomatization for BPAde with prefix iteration
Non-fictie
Engels | 5 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1995
Gedrukt boek
H.R. Walters | H. Zantema Rewrite systems for integer arithmetic
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 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
H. Zantema | A. Geser A complete characterization of termination of 0p1q → 1r0s
Non-fictie
Engels | 16 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek