Alles van: T. Arts
Resultaat 1 - 8 (van 8)
T. Arts | Izak van Langevelde Verifying a smart design of TCAP
a synergetic experience
Non-fictie
Engels | 65 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
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 Proving innermost normalisation automatically
Non-fictie
Engels | 40 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1997
Gedrukt boek
T. Arts | J. Giesl Automatically proving termination where simplification orderings fail
Non-fictie
Engels | 34 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
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 A technique for automatically proving termination of constructor systems
Non-fictie
Engels | 24 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