scientific article
From MaRDI portal
zbMath0576.03027MaRDI QIDQ3695270
E. C. Dennis-Jones, Stanley S. Wainer
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fundamental sequencesordinal classification of recursive functionsordinal complexity measure of recursive functionsSlow Growing Hierarchytree-ordinals
Related Items
Trees, ordinals and termination, Equational derivation vs. computation, Ordinal recursive bounds for Higman's theorem, Ordinal complexity of recursive definitions, An ordinal calculus for proving termination in term rewriting
