Back to Results
First PageMeta Content
Mathematics / Mathematical logic / Theoretical computer science / Computability theory / Theory of computation / Recursion / Type theory / Structural induction / Mathematical induction / Rippling / Nqthm / Constructible universe


CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5
Add to Reading List

Document Date: 2005-05-19 12:03:26


Open Document

File Size: 229,67 KB

Share Result on Facebook
UPDATE