Other publications of Hans Zantema
Ph.D. thesis
Title: Integer Valued Polynomials in Algebraic Number Theory,
Institute: University of Amsterdam,
Date of defense: November 16, 1983
Inaugural lecture
Op zoek naar bewijs
Rede uitgesproken bij de
aanvaarding van het ambt van hoogleraar Applications of term
rewriting in theorem proving aan de Faculteit der
Natuurwetenschappen, Wiskunde en Informatica van de Radboud
Universiteit Nijmegen op vrijdag 30 mei 2008
Books
- J. D. Fokker and H. Zantema and S. D. Swierstra,
Programmeren en Correctheid,
publisher Academic Service, 1991, ISBN 90 6233 681 7, 195 pages
- H. Zantema and P. W. H. Lemmens
Beschrijven en Bewijzen,
publisher Delft University Press, 1999, ISBN 90-407-1942-X, 169 pages
- H. Zantema
De achterkant van SUDOKU,
publisher Gottmer, Haarlem, 2007, ISBN 978-90-6834-216-1, 146 pages
Handbook contribution
- H. Zantema
Termination,
chapter 6 in Term Rewriting Systems, edited by TERESE, pp 181 - 259
publisher Cambridge University Press, 2003, ISBN 0-521-39115-6, 884 pages
Miscellaneous
Zantema, H.
Proving termination of rewriting automatically
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische
Informatica, 2008, nr 12, page 25-33