Zoekresultaten
Resultaat 1 - 4 (van 4)
Olga Tveretina | H. Zantema A proof system and a decision procedure for equality logic
Non-fictie
Engels | 18 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek
H. Zantema | J.F. Groote Transforming equality logic to propositional logic
Non-fictie
Engels | 13 pagina's | Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven | 2003
Gedrukt boek
H. Zantema Termination of string rewriting proved automatically
Non-fictie
Engels | 28 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek
J. Giesl | H. Zantema Liveness in rewriting
Non-fictie
Engels | 26 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek