Sciweavers

Share
22 search results - page 2 / 5
» cade 2003
Sort
View
CADE
2003
Springer
9 years 10 months ago
Equational Abstractions
José Meseguer, Miguel Palomino, Narciso Mar...
CADE
2003
Springer
9 years 10 months ago
How to Prove Inductive Theorems? QUODLIBET!
Jürgen Avenhaus, Ulrich Kühler, Tobias S...
CADE
2003
Springer
9 years 10 months ago
Subset Types and Partial Functions
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...
Aaron Stump
CADE
2003
Springer
9 years 10 months ago
IsaPlanner: A Prototype Proof Planner in Isabelle
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...
Lucas Dixon, Jacques D. Fleuriot
CADE
2003
Springer
9 years 10 months ago
Automating the Dependency Pair Method
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
Nao Hirokawa, Aart Middeldorp
books