{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171495},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055789X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023786","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:11:10Z","timestamp":1132377070000},"page":"419-428","source":"Crossref","is-referenced-by-count":11,"title":["Proving termination for term rewriting systems"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Weiermann","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","volume-title":"Technical Report CSD-TR-622","author":"E. A. Cichon","year":"1990","unstructured":"E. A. Cichon: Bounds on derivation lengths from termination proofs. Technical Report CSD-TR-622, Department of Computer Science, University of London, Surrey, England, June 1990."},{"key":"33_CR2","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF02017491","volume":"26","author":"J. N. Crossley","year":"1986\/87","unstructured":"J. N. Crossley, J. B. Kister: Natural well-orderings. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung 26 (1986\/87), pp. 57\u201376.","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, J. P. Jouannaud: Rewrite systems. In: Handbook of Theoretical Computer Science, Part B, Elsevier 1990, pp. 243\u2013320.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, M. Okada: Proof theoretic techniques for term rewriting theory. Proceedings of the Third Annual Symposium on Logic in Computer Science, Edinburgh, July 1988, pp. 104\u2013111.","DOI":"10.1109\/LICS.1988.5108"},{"key":"33_CR5","unstructured":"S. Feferman: Proof theory: A personal report. In the appendix of: G. Takeuti: Proof Theory. North-Holland 1987, pp. 447\u2013485."},{"key":"33_CR6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0168-0072(91)90022-E","volume":"53","author":"J. H. Gallier","year":"1991","unstructured":"J. H. Gallier: What's so special about Kruskal's theorem and the ordinal \u04130? A survey of some results in proof theory. Annals of Pure and Applied Logic 53 (1991), pp. 199\u2013260.","journal-title":"Annals of Pure and Applied Logic"},{"key":"33_CR7","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00486046","volume":"62","author":"J. Y. Girard","year":"1985","unstructured":"J. Y. Girard: Introduction to \u03a0 2 1 -logic. Synthese 62 (1985), pp. 191\u2013216.","journal-title":"Synthese"},{"key":"33_CR8","doi-asserted-by":"crossref","first-page":"157","DOI":"10.2307\/2274960","volume":"55","author":"L. Gordeev","year":"1990","unstructured":"L. Gordeev: Generalizations of the Kruskal-Friedman theorems. Journal of Symbolic Logic 55 (1990), pp. 157\u2013181.","journal-title":"Journal of Symbolic Logic"},{"key":"33_CR9","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF01630809","volume":"29","author":"L. Gordeev","year":"1989","unstructured":"L. Gordeev: Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees. Archive for Mathematical Logic 29 (1989), pp. 29\u201346.","journal-title":"Archive for Mathematical Logic"},{"key":"33_CR10","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/1385-7258(77)90067-1","volume":"39","author":"D. H. J. Jongh de","year":"1977","unstructured":"D. H. J. de Jongh, R. Parikh: Well-partial orderings and hierarchies. Indagationes Math. 39 (1977), pp. 195\u2013207.","journal-title":"Indagationes Math."},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"C. R. Murthy, J. R. Russell: A constructive proof of Higman's lemma. Proceedings of the Fifth Annual Symposium on Logic and Computer Science, Philadelphia, PA, June 1990, pp. 257\u2013267.","DOI":"10.1109\/LICS.1990.113752"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"M. Okada, G. Takeuti: On the theory of quasi-ordinal diagrams. Contemporary Mathematics 65, Logic and Combinatorics, Proceedings of the AMS (1987), pp. 295\u2013308.","DOI":"10.1090\/conm\/065\/891255"},{"key":"33_CR13","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF01621475","volume":"30","author":"M. Rathjen","year":"1990","unstructured":"M. Rathjen: Proof-theoretic analysis of KPM. Archive for Mathematical Logic 30 (1990), pp. 377\u2013403.","journal-title":"Archive for Mathematical Logic"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"K. Sch\u00fctte: Proof Theory. Springer, 1977.","DOI":"10.1007\/978-3-642-66473-1"},{"key":"33_CR15","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF01625829","volume":"27","author":"K. Sch\u00fctte","year":"1988","unstructured":"K. Sch\u00fctte: Ein Wohlordnungsbeweis f\u00fcr das Ordinalzahlensystem T(J). Archive for Mathematical Logic 27 (1988), pp. 5\u201320.","journal-title":"Archive for Mathematical Logic"},{"key":"33_CR16","volume-title":"Well-Partial Orderings and Their Maximal Order Types","author":"D. Schmidt","year":"1979","unstructured":"D. Schmidt: Well-Partial Orderings and Their Maximal Order Types. Habilitationsschrift, Heidelberg 1979."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0023786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,4]],"date-time":"2019-11-04T22:17:24Z","timestamp":1572905844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055789X"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0023786","relation":{},"subject":[]}}