Otter 2.0

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

Volumn 449 LNAI, Issue , 1990, Pages 663-664

  McCune, William ^a  

^a ARGONNE NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84969200732     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-52885-7_131     Document Type: Conference Paper

References (3)

1. McCune, W., OTTER 2.0 Users Guide, Report ANL-90/9, Argonne National Laboratory (March 1990).
2. McCune, W. and Wos, L., The Absence and the Presence of Fixed Point Combinators, Preprint MCS-P87-0689, Argonne National Laboratory (June 1989).
3. Kaput, D. and Zhang, H., RRL: Rewrite Rule Laboratory User's Manual, Report 89-03, Dept. of Computer Science, University of Iowa (May 1989).