Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Wainer, S. S.
1990.
Mathematical Logic.
p.
211.
Coquand, Thierry
and
Paulin, Christine
1990.
COLOG-88.
Vol. 417,
Issue. ,
p.
50.
H. Gallier, Jean
1991.
What's so special about Kruskal's theorem and the ordinal Γo? A survey of some results in proof theory.
Annals of Pure and Applied Logic,
Vol. 53,
Issue. 3,
p.
199.
Wainer, Stanley S.
1991.
Logic, Algebra, and Computation.
p.
237.
Fairtlough, M.V.H.
and
Wainer, S.S.
1992.
Ordinal complexity of recursive definitions.
Information and Computation,
Vol. 99,
Issue. 2,
p.
123.
Kadota, Noriya
1993.
On Wainer's notation for a minimal subrecursive inaccessible ordinal.
Mathematical Logic Quarterly,
Vol. 39,
Issue. 1,
p.
217.
Handley, W.G.
and
Wainer, S.S.
1994.
Equational derivation vs. computation.
Annals of Pure and Applied Logic,
Vol. 70,
Issue. 1,
p.
17.
Wainer, Stanley S.
1995.
Logic and Computational Complexity.
Vol. 960,
Issue. ,
p.
281.
Schwichtenberg, Helmut
and
Wainer, Stanley S.
1995.
Feasible Mathematics II.
p.
387.
Weiermann, Andreas
1995.
Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths.
Theoretical Computer Science,
Vol. 139,
Issue. 1-2,
p.
355.
Weiermann, Andreas
1995.
Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones.
Archive for Mathematical Logic,
Vol. 34,
Issue. 5,
p.
313.
Cichon, E.A.
and
Weiermann, A.
1997.
Term rewriting theory for the primitive recursive functions.
Annals of Pure and Applied Logic,
Vol. 83,
Issue. 3,
p.
199.
Wainer, Stanley Scott
1998.
Logic Colloquium ’95.
Vol. 11,
Issue. ,
p.
339.
Fairtlough, Matt
and
Wainer, Stanley S.
1998.
Handbook of Proof Theory.
Vol. 137,
Issue. ,
p.
149.
Friedman, Sy-David
Rathjen, Michael
and
Weiermann, Andreas
2013.
Slow consistency.
Annals of Pure and Applied Logic,
Vol. 164,
Issue. 3,
p.
382.
Weiermann, Andreas
2017.
Logic Colloquium '99.
p.
182.
Wainer, S. S.
2017.
Logic Colloquium '95.
p.
339.
Arai, Toshiyasu
2020.
Ordinal Analysis with an Introduction to Proof Theory.
p.
97.
Alexander, Samuel
and
Hibbard, Bill
2021.
Measuring Intelligence and Growth Rate: Variations on Hibbard’s Intelligence Measure.
Journal of Artificial General Intelligence,
Vol. 12,
Issue. 1,
p.
1.
Coquand, Thierry
2024.
The French School of Programming.
p.
175.