Zoekresultaten
Resultaat 1 - 3 (van 3)
A. Middeldorp | H. Zantema Simple termination revisited
Non-fictie
Engels | 17 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1993
Gedrukt boek
H. Zantema Termination of term rewriting by semantic labelling
Non-fictie
Engels | 17 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1993
Gedrukt boek
W.J. Fokkink | H. Zantema Basic process algebra with iteration
completeness of its equational axioms
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek