{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:27:27Z","timestamp":1725481647884},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402541"},{"type":"electronic","value":"9783540448815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44881-0_21","type":"book-chapter","created":{"date-parts":[[2007,3,5]],"date-time":"2007-03-05T16:39:56Z","timestamp":1173112796000},"page":"296-310","source":"Crossref","is-referenced-by-count":7,"title":["Relating Derivation Lengths with the Slow-Growing Hierarchy Directly"],"prefix":"10.1007","author":[{"given":"Georg","family":"Moser","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Weiermann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge Univeristy Press, 1998.","DOI":"10.1017\/CBO9781139172752"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"H. Bachmann. Transfinite Zahlen. Springer Verlag, 1955.","DOI":"10.1007\/978-3-642-52756-2"},{"key":"21_CR3","first-page":"57","volume":"75","author":"W. Buchholz","year":"1995","unstructured":"W. Buchholz. Proof-theoretical analysis of termination proofs. APAL, 75:57\u201365, 1995.","journal-title":"APAL"},{"key":"21_CR4","unstructured":"W. Buchholz. Ordinal notations and fundamental sequences. Unpublished manuscript; availabe at http:\/\/www.mathematik.uni-muenchen.de\/~buchholz\/ , 2003."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"E.A. Cichon. Termination orderings and complexity characterisations. In P. Aczel, H. Simmons, and S.S. Wainer, editors, Proof Theory, pages 171\u2013193, 1992.","DOI":"10.1017\/CBO9780511896262.008"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"399","DOI":"10.2307\/2273557","volume":"48","author":"E.A. Cichon","year":"1983","unstructured":"E.A. Cichon and S.S. Wainer. The slow-growing and the Grzegorczyk hierachies. J. Symbolic Logic, 48:399\u2013408, 1983.","journal-title":"J. Symbolic Logic"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and M. Okada. Proof-Theoretic Techniques for Term Rewriting Theory. In LICS 1998, pages 104\u2013111, 1988.","DOI":"10.1109\/LICS.1988.5108"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0003-4843(81)90016-4","volume":"21","author":"J.-Y. Girard","year":"1981","unstructured":"J.-Y. Girard. II 2 1 -logic I:Dilators. Annals of Mathematical Logic, 21:75\u2013219, 1981.","journal-title":"Annals of Mathematical Logic"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0304-3975(92)90289-R","volume":"105","author":"D. Hofbauer","year":"1992","unstructured":"D. Hofbauer. Termination proofs by multiset path orderings imply primitive recursive derivation lengths. TCS, 105:129\u2013140, 1992.","journal-title":"TCS"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1016\/S0304-3975(01)00015-9","volume":"269","author":"I. Lepper","year":"2001","unstructured":"I. Lepper. Derivation lengths and order types of Knuth-Bendix order. Theoretical Computer Science, 269:433\u2013450, 2001.","journal-title":"Theoretical Computer Science"},{"key":"21_CR11","unstructured":"I. Lepper. Simply terminating rewrite systems with long derivations. Archive for Mathematical Logic, 2003. To appear. http:\/\/www.math.uni-muenster.de-\/logik\/publ\/pre\/3.html ."},{"key":"21_CR12","unstructured":"R. P\u00e9ter. Recursive Functions. Academic Press, 1967."},{"key":"21_CR13","unstructured":"J.W. Robbin. Subrecursive Hierarchies. PhD thesis, Princeton University, 1965."},{"key":"21_CR14","unstructured":"D. Schmidt. Well-partial orderings and their maximal order types. Fakult\u00e4t f\u00fcr Mathematik der Ruprecht-Karl-Universit\u00e4t Heidelberg, 1979. Habilitationsschrift."},{"key":"21_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66473-1","volume-title":"Proof Theory","author":"K. Sch\u00fctte","year":"1977","unstructured":"Kurt Sch\u00fctte. Proof Theory. Springer Verlag, Berlin and New York, 1977."},{"key":"21_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/BFb0055776","volume-title":"MFCS 1998","author":"H. Touzet","year":"1998","unstructured":"H. Touzet. Encoding the Hydra battle as a rewrite system. In MFCS 1998, LNCS 1450, pages 267\u2013276. Springer Verlag, 1998."},{"key":"21_CR17","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/0304-3975(94)00135-6","volume":"139","author":"A. Weiermann","year":"1995","unstructured":"A. Weiermann. Termination proofs for term rewriting systems with lexicographic path ordering imply multiply recursive derivation lengths. TCS, 139:355\u2013362, 1995.","journal-title":"TCS"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"A. Weiermann. Some interesting connections between the slow growing hierarchy and the Ackermann function. J. Symbolic Logic, pages 609\u2013628, 2001.","DOI":"10.2307\/2695032"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44881-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T05:42:50Z","timestamp":1556170970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44881-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402541","9783540448815"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44881-0_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}