论文信息 - Proof-Theoretic Analysis of Termination Proofs - 字舞流文

Proof-Theoretic Analysis of Termination Proofs

Wilfried Buchholz | W. Buchholz

[1] Toshiyasu Arai. A Slow Growing Analogue to Buchholz' Proof , 1991, Ann. Pure Appl. Log..

[2] Ulf R. Schmerl. Number Theory and the Bachmann/Howard Ordinal , 1982 .

[3] Dieter Hofbauer,et al. Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths , 1990, Theor. Comput. Sci..

[4] Andreas Weiermann,et al. Termination Proofs for Term Rewriting Systems by Lexicographic Path Orderings Imply Multiply Recursive Derivation Lengths , 1995, Theor. Comput. Sci..