{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T19:50:09Z","timestamp":1790884209818,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540600435","type":"print"},{"value":"9783540494102","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60043-4_65","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:33:38Z","timestamp":1330277618000},"page":"368-384","source":"Crossref","is-referenced-by-count":6,"title":["CPO models for infinite term rewriting"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,7,25]]},"reference":[{"issue":"1","key":"23_CR1","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"J.A. Goguen, J.W. Tatcher, E.G. Wagner, J.R. Wright, Initial Algebra Semantics and Continuous Algebras, Journal of the ACM 24 (1), 1977, pp. 68\u201395.","journal-title":"Journal of the ACM"},{"key":"23_CR2","unstructured":"G. Boudol, Computational Semantics of Term Rewriting Systems, chapter 8 of Algebraic Methods in Semantics, eds. M.Nivat and J. Reynolds, CUP, 1985."},{"key":"23_CR3","unstructured":"M. Barr, C. Wells, Category Theory for Computing Science, Prentice Hall, 1990."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"A. Corradini, F. Gadducci, U. Montanari, Relating Two Categorical Models of Term Rewriting, to appear in Proc. RTA'95, LNCS, 1995.","DOI":"10.1007\/3-540-59200-8_59"},{"key":"23_CR5","unstructured":"A. Corradini, F. Drewes, (Cyclic) Term Graph Rewriting is Adequate for Rational Parallel Term Rewriting, submitted."},{"key":"23_CR6","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1007\/3-540-56610-4_83","volume":"668","author":"A. Corradini","year":"1993","unstructured":"A. Corradini, Term Rewriting in CT \u2211, in Proc. TAPSOFT'93 (CAAP), LNCS 668, 1993, pp. 468\u2013484.","journal-title":"Proc. TAPSOFT'93 (CAAP), LNCS"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, J.-P. Jouannaud, Rewrite Systems, in Handbook of Theoretical Computer Science B, ed. J. van Leeuwen, North Holland, 1990, pp. 243\u2013320.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0304-3975(91)90040-9","volume":"83","author":"N. Dershowitz","year":"1991","unstructured":"N. Dershowitz, S. Kaplan, D.A. Plaisted, Rewrite, Rewrite, Rewrite, Rewrite, Rewrite,...*, Journal of Theoretical Computer Science 83, 1991, pp. 71\u201396.","journal-title":"Journal of Theoretical Computer Science"},{"key":"23_CR9","unstructured":"G. Huet, J.J. L\u00e9vy, Computations in Orthogonal Rewriting Systems, chapter 11 of Computational Logic, eds. J.L. Lassez and G. Plotkin, MIT Press, 1991."},{"issue":"3","key":"23_CR10","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1145\/177492.177577","volume":"16","author":"J.R. Kennaway","year":"1994","unstructured":"J.R. Kennaway, J.W. Klop, M.R. Sleep, F.J. de Vries, On the Adequacy of Term Graph Rewriting for Simulating Term Rewriting, ACM Transactions on Programming Languages and Systems 16 (3), 1994, pp. 493\u2013523.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"23_CR11","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BFb0063101","volume":"420","author":"G.M. Kelly","year":"1974","unstructured":"G.M. Kelly, R.H. Street, Review of the Elements of 2-categories, Lecture Notes in Mathematics 420, 1974, pp. 75\u2013103.","journal-title":"Lecture Notes in Mathematics"},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F. W. Lawvere","year":"1963","unstructured":"F. W. Lawvere, Functorial Semantics of Algebraic Theories, in Proc. National Academy of Science 50, 1963, pp. 869\u2013872.","journal-title":"Proc. National Academy of Science"},{"key":"23_CR13","unstructured":"J. Meseguer, Functorial Semantics of Rewrite Systems, appendix of Rewriting as a Unified Model of Concurrency, SRI Technical Report CSL-93-02R, 1990."},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer, Conditional Rewriting Logic as a Unified Model of Concurrency, Journal of Theoretical Computer Science 96, 1992, pp. 73\u2013155.","journal-title":"Journal of Theoretical Computer Science"},{"key":"23_CR15","first-page":"300","volume":"389","author":"A.J. Power","year":"1989","unstructured":"A.J. Power, An Abstract Formulation for Rewrite Systems, in Proc. CTCS'89, LNCS 389, 1989, pp. 300\u2013312.","journal-title":"Proc. CTCS'89, LNCS"},{"key":"23_CR16","first-page":"114","volume":"283","author":"D.E. Rydeheard","year":"1987","unstructured":"D.E. Rydeheard, J.G. Stell, Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithm, in Proc. CTCS'87, LNCS 283, 1987, pp. 114\u2013339.","journal-title":"LNCS"},{"key":"23_CR17","unstructured":"J. G. Stell, Modelling Term Rewriting Systems by Sesqui-categories, Technical Report TR94-02, Keele University, 1994. To appear in Proc. CAEN."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60043-4_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:29Z","timestamp":1605648509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60043-4_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600435","9783540494102"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60043-4_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}