|
Edinburgh Research Archive >
Informatics, School of >
Informatics Report Series >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/3395
|
| Title: | Proofs About Lists Using Ellipsis |
| Authors: | Bundy, Alan
Richardson, Julian |
| Issue Date: | Sep-1999 |
| Series/Report no.: | Informatics Report Series
EDI-INF-RR-0003 |
| Abstract: | 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 LambdaClam 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. |
| Description: | LPAR'99: 6th International Conference on Logic for Programming and Automated Reasoning. Tbilisi, Republic of Georgia, September 6-10, 1999. Lecture Notes in Artificial Intelligence, vol. 1705. Edited by Harald Ganzinger, David McAllester, and Andrei Voronkov. Springer Verlag, September 1999. |
| Keywords: | Informatics |
| URI: | http://hdl.handle.net/1842/3395 |
| Appears in Collections: | Informatics Report Series
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
