Author:
Dennis-Jones E. C.,Wainer S. S.
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An ordinal calculus for proving termination in term rewriting;Trees in Algebra and Programming — CAAP '96;1996
2. On Wainer's notation for a minimal subrecursive inaccessible ordinal;Mathematical Logic Quarterly;1993
3. Some extensions of built-upness on systems of fundamental sequences;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1990
4. Natural well-orderings;Archiv für Mathematische Logik und Grundlagenforschung;1987-12
5. Subrecursive ordinals;Lecture Notes in Mathematics;1985