The following pages link to (Q3783512):
Displayed 5 items.
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- Recursively indefinite databases (Q688672) (← links)
- Experiments with proof plans for induction (Q809617) (← links)
- Automatic inductive theorem proving using Prolog (Q1103415) (← links)
- Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation (Q1322838) (← links)