22 search results - page 2 / 5 » cade 2003 |
CADE
2003
Springer
14 years 11 months ago
2003
Springer
CADE
2003
Springer
14 years 11 months ago
2003
Springer
CADE
2003
Springer
14 years 11 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 11 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 11 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 ...