Zoekresultaten
Resultaat 1 - 3 (van 3)
V.C.S. Meeussen | H. Zantema Derivation lengths in term rewriting from interpretations in the naturals
Non-fictie
Engels | 13 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1992
Gedrukt boek
M.C.F. Ferreira | H. Zantema Total termination of term rewriting
Non-fictie
Engels | 24 pagina's | Department of Computer Science, University of Utrecht, Utrecht | 1992
Gedrukt boek
H. Zantema Termination of term rewriting by interpretation
Non-fictie
Engels | 21 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1992
Gedrukt boek