22 search results - page 2 / 5 » cade 2003 |
CADE
2003
Springer
14 years 4 months ago
2003
Springer
CADE
2003
Springer
14 years 4 months ago
2003
Springer
CADE
2003
Springer
14 years 4 months ago
2003
Springer
A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer's logic PF by enriching the type system of the logic with subset ty...
CADE
2003
Springer
14 years 4 months ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...
CADE
2003
Springer
14 years 4 months ago
2003
Springer
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...