The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Publication Details:
Book: Proofs About Lists Using Ellipsis
Editors:MISSING
Book#: MISSING
Publisher:MISSING
Volume:MISSING
Pages: MISSING

Informatics Series Report #03

Title:Proofs About Lists Using Ellipsis
Authors:Bundy,A; Richardson,J
Date:Sep 1999
Presented:LPAR'99
Keywords:








[Search These Pages] [DAI Home Page] [Comment]