Walther Recursion
暂无分享,去创建一个
[1] M. Rabin. Decidability of second-order theories and automata on infinite trees. , 1969 .
[2] Nachum Dershowitz,et al. Orderings for term-rewriting systems , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
[3] Nachum Dershowitz. Orderings for Term-Rewriting Systems , 1979, FOCS.
[4] Wolfgang Thomas,et al. Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[5] Jean-Pierre Jouannaud,et al. Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[6] William M. Farmer,et al. IMPS: An Interactive Mathematical Proof System , 1990, CADE.
[7] Robert S. Boyer,et al. Computational Logic , 1990, ESPRIT Basic Research Series.
[8] Thom W. Frühwirth,et al. Logic programs as types for logic programs , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[9] Nevin Heintze,et al. Set-based analysis of ML programs , 1994, LFP '94.
[10] Alexander Aiken,et al. Soft typing with conditional types , 1994, POPL '94.
[11] Christoph Walther,et al. On Proving the Termination of Algorithms by Machine , 1994, Artif. Intell..