A Proof Planning Framework for Isabelle (2005)

View PDF

Download Links

by Lucas Dixon
Citations:14 - 9 self

Active Bibliography

48 The automation of proof by mathematical induction – Alan Bundy - 1997
5 Case-Analysis for Rippling and Inductive Proof – Moa Johansson, Lucas Dixon, Alan Bundy
Progress in Computer-Assisted Inductive . . . – Claus-peter Wirth - 2006
Searchable Online Edition – Universit├Ąt Des Saarlandes, Claus-peter Wirth, Chad E. Brown - 2006
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
578 Term Rewriting Systems – J. W. Klop - 1992
1096 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992