Abstract: Proof Planning with Program Schemas

Authors:
Julian Richardson
Affiliations:
-
Venue:
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Year:
1998

Citing 2
Cited 0

Rippling: a heuristic for guiding inductive proofs

Artificial Intelligence
System Description: Proof Planning in Higher-Order Logic with Lambda-Clam

CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction

Quantified Score

Hi-index	0.00

Visualization

Abstract