FRI: Failure-Resistant Induction in RRL
暂无分享,去创建一个
[1] David R. Musser,et al. The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs , 1980, CADE.
[2] Hantao Zhang,et al. Axiomatic semantics of a hardware specification language , 1992, [1992] Proceedings of the Second Great Lakes Symposium on VLSI.
[3] D. Kapur,et al. Reduction, superposition and induction: automated reasoning in an equational logic , 1988 .
[4] Deepak Kapur,et al. A Mechanizable Induction Principle for Equational Specifications , 1988, CADE.
[5] Matt Kaufmann. An Interactive Enhancement to the Boyer-Moore Theorem Prover , 1988, CADE.
[6] Robert S. Boyer,et al. Computational Logic , 1990, ESPRIT Basic Research Series.