Zoekresultaten
Resultaat 1 - 4 (van 4)
T. Arts Automatically proving termination and innermost normalisation of term rewriting systems
Non-fictie
Engels | 177 pagina's | 1997
Gedrukt boek
T. Arts | J. Giesl Termination of constructor systems
Non-fictie
Engels | 29 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
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
T. Arts | H. Zantema Termination of logic programs via labelled term rewrite systems
Non-fictie
Engels | 27 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek