Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Inductive Theorem Proving"”.
-
Automatic inductive theorem proving and program construction methods using program transformation
… programs from the resulting proofs. These theorem proving and program construction techniques make use of the distillation algorithm to transform input conjectures into a normalised form which we call distilled form. The proof rules are applied to the resulting distilled program. Our …
-
Term rewriting with built-in numbers and collection data structures
… is investigated, and automatic termination proving for term rewrite systems has received increased interest in recent years. Ordinary term rewrite systems, however, exhibit serious drawbacks. First, they do not provide a tight integration of natural numbers or integers. Since the pre-defined …