Proofs About Lists Using Ellipsis

13 years 11 months ago
Proofs About Lists Using Ellipsis
In this paper we explore the use of ellipsis in proofs about lists. We present a higher-order formulation of elliptic formulae, and describe its implementation in the λClam proof planner. We use an unambiguous higher-order formulation of lists which is amenable to formal proofs without using induction, and to display using the familiar ... notation.
Alan Bundy, Julian Richardson
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where LPAR
Authors Alan Bundy, Julian Richardson
Comments (0)