Informatics Report Series


Report   

EDI-INF-RR-0003


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Title:Proofs About Lists Using Ellipsis
Authors: Alan Bundy ; Julian Richardson
Date:Sep 1999
Publication Title:LPAR'99
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.
Links To Paper
No links available
Bibtex format
@Misc{EDI-INF-RR-0003,
author = { Alan Bundy and Julian Richardson },
title = {Proofs About Lists Using Ellipsis},
year = 1999,
month = {Sep},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh