Found 2 Documents (Results 1–2)
Rippling: A heuristic for guiding inductive proofs. (English) Zbl 0789.68121
Reviewer: A.Leitsch (Wien)
MSC:
68T15
03B35
Filter Results by …
Author
- Bundy, Alan (2)
- Ireland, Andrew (1)
- Smaill, Alan (1)
- Stevens, Andrew (1)
- van Harmelen, Frank (1)
Volume
- 199-200 (2013) (1)
- 62, No. 2 (1993) (1)