Zoekresultaten
Resultaat 1 - 3 (van 3)
M.C.F. Ferreira | H. Zantema Well-foundedness of term orderings
Non-fictie
Engels | 18 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
M.C.F. Ferreira | H. Zantema Dummy elimination
making termination easier
Non-fictie
Engels | 18 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
M.C.F. Ferreira | H. Zantema Syntactical analysis of total termination
Non-fictie
Engels | 20 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek