Found 6 Documents (Results 1–6)
Calculating criticalities. (English) Zbl 0906.68138
MSC:
68T20
Rippling: A heuristic for guiding inductive proofs. (English) Zbl 0789.68121
Reviewer: A.Leitsch (Wien)
MSC:
68T15
03B35
Explanation-based generalisation \(=\) partial evaluation. (English) Zbl 0655.68106
MSC:
68T05
68T15
Filter Results by …
all
top 5
Author
- Bundy, Alan (6)
- van Harmelen, Frank (2)
- Giunchiglia, Fausto (1)
- Ireland, Andrew (1)
- Plummer, Dave (1)
- Sebastiani, Roberto (1)
- Silver, Bernard (1)
- Smaill, Alan (1)
- Stevens, Andrew (1)
- Walsh, Toby (1)
all
top 5
Volume
- 199-200 (2013) (1)
- 88, No. 1-2 (1996) (1)
- 62, No. 2 (1993) (1)
- 36, No. 3 (1988) (1)
- 27 (1985) (1)
- 10 (1978) (1)