Proofs about lists using ellipsis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1705 LNAI, Issue , 1999, Pages 1-12

  Bundy, Alan ^a   Richardson, Julian ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL PROOFS; HIGHER-ORDER FORMULATIONS;

COMPUTER CIRCUITS;

EID: 84886293109     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48242-3_1     Document Type: Conference Paper

References (8)

1. S. Bjiker. Aspects of the Constructive Omega Rule within Automated Deduction. PhD thesis, Edinburgh, 1993.
2. R. S. Bird. An introduction to the theory of lists. In M. Broy, ditor. Logic of Programming and Calculi of Discrete Design, pages 5-42. Springer-Verlag, 1987. International Summer School. roceedings of the NATO Advanced Study Institute, Marktoberdorf.
3. A. Bundy. The use of explicit plans to guide inductive proofe. In R. Lusk and R. Overbeek, editors, 9th International Conference on Automated Deduction, pages 111-120. Springer-Verlag, 1988. Longer version available from Edinburgh as DAI Reseetrch Paper No. 349.
4. A. Bundy, F. van Harmelen, C. Horn, and A. Smciill. The Oyster-Clam system. In M. E. Stickel, editor, 10th International Conference on Automated Deduction, pages 647-648. Springer-Verlag, 1990. Lecture Notes in Artificial Intelligence No. 449. Also available from Edinburgh as DAI Research Paper 507. 12 Alan Bundy and Julian Richardson
5. A. Ireleind and A. Bundy. Productive use of failure in inductive proof Journal of Automated Reasoning, 16(1-2):79-lll, 1996. Also available as DAI Research Paper No 716, Dept. of Artificial Intelligence, Edinburgh.
6. E. B. Kinber and A. N. Brazma. Models of inductive synthesis. Journal of Logic Programming, 9:221-233, 1990.
7. Leon Lukaszewicz. Triple dots in a formed language. Journal of Automated Reasoning, 22(3):223-239, March 1999.
8. J. D. C Richardson, A. Smaill, and I. M. Green. System escription: roof planning in higher-order logic with XClam. In C. Kirchner and H. Kirchner, editors, Proceedings of CADE-15, volume 1421 of Lecture Notes in Computer Science. Springer Verlag, 1998.