Walther recursion

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

Volumn 1104, Issue , 1996, Pages 643-657

  McAllester, David ^a   Arkoudas, Kostas ^b  

^a ATT Research Laboratories   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CALCULATIONS; SYNTACTICS;

GCD ALGORITHM; PROOF SYSTEM; RECURSIONS; RECURSIVE DEFINITIONS; SYNTACTIC CRITERIA;

THEOREM PROVING;

EID: 23844466099     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_119     Document Type: Conference Paper

References (11)

1. A. Aiken, E. Wimmers, and T.K. Lakshman. Soft typing with conditional types. In ACM Symposium on Principle of Programming Languges, pages 163-173. Association for Computing Machinery, 1994.
2. Robert S. Boyer and J Struther Moore. A Computational Logic. ACM Monograph Series. Academic Press, 1979.
3. N. Dershowitz and J.P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, pages 243-320. MIT Press, 1990.
4. Nachum Dershowitz. Orderings for term-rewriting systems. Theoretical Computer Science, August 1979.
5. Thom Frühwirth, Ehud Shapiro, Moshe Vardi, and Eyal Yardeni. Logic programs as types for logic programs. In Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, pages 75-83. IEEE Computer Society Press, 1991.
6. N. Heintze. Set based analysis of ML programs. In ACM Conference on Lisp and Functional Programming, pages 306-317, 1994.
7. M. O. Rabin. Decidability of second order theories and automata on infinite trees. Trans, of Amer. Math. Soc., 141:1-35, 1969.
8. W. Thomas. Automata on infinite objects. In Handbook of Theoretical Computer Science, Volume B, Formal Methods and Semantics, pages 133-164. MIT Press, 1990.
9. Cristoph Walther. On proving termination of algorithms by machine. Artificial Intelligence, 71(1):101-157, 1994.
10. webmaster@cli.com. Home page for computational logic incorporated, http: / / www.cli.com /index.html.
11. Javier Thayer, William Farmer, Joshua Guttman. Imps: An interactive mathematical proof system. In CADE-10, pages 653-654. Springer-Verlag, 1990.