Zoekresultaten
Resultaat 1 - 3 (van 3)
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
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
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