Toby Walsh

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Annotated rewriting in inductive theorem proving
David Basin and others (1996) · Journal of Automated Reasoning
A calculus for and termination of rippling
David Basin and others (1996) · Journal of Automated Reasoning
Difference unification
David Basin and others (1993) · Proc. 13th Intern
The use of proof plans to sum series
Toby Walsh and others (1992) · Lecture notes in computer science · Springer Science+Business Media