Informatics Report Series



Related Pages

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

Title:Proofs About Lists Using Ellipsis
Authors: Alan Bundy ; Julian Richardson
Date:Sep 1999
Publication Title:LPAR'99
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
author = { Alan Bundy and Julian Richardson },
title = {Proofs About Lists Using Ellipsis},
year = 1999,
month = {Sep},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh