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: |