{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:21Z","timestamp":1761611181255},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643005"},{"type":"electronic","value":"9783540697206"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053548","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T01:19:46Z","timestamp":1149643186000},"page":"156-171","source":"Crossref","is-referenced-by-count":10,"title":["Rational term rewriting"],"prefix":"10.1007","author":[{"given":"A.","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1980-3405","volume":"4","author":"A. Arnold","year":"1980","unstructured":"A. Arnold and M. Nivat. The metric space of infinite trees, algebraic and topological properties. Fundamenta Informaticae, 4:445\u2013476, 1980.","journal-title":"Fundamenta Informaticae"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1016\/S0022-0000(76)80030-X","volume":"13","author":"S. Bloom","year":"1976","unstructured":"S. Bloom. Varieties of ordered algebras. Journal of Computer and System Science, 13:200\u2013210, 1976.","journal-title":"Journal of Computer and System Science"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"S. Bloom and Z. \u00e9sik. Iteration Theories. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1993.","DOI":"10.1007\/978-3-642-78034-9"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"S. Bloom and Z. \u00e9sik. Solving polinomials fixed point equations. In Mathematical Foundations of Computer Science, volume 841 of LNCS, pages 52\u201367. Springer Verlag, 1994.","DOI":"10.1007\/3-540-58338-6_58"},{"key":"11_CR5","unstructured":"S.L. Bloom, Z. \u00e9sik, A. Labella, and E.G. Manes. Iteration 2-theories. In Proceedings AMAST'97, 1997. To appear."},{"key":"11_CR6","unstructured":"G. Boudol. Computational semantics of term rewriting systems. In M. Nivat and J. Reynolds, editors, Algebraic Methods in Semantics, pages 170\u2013235. Cambridge University Press, 1985."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"A. Corradini. Term rewriting in CT \u2211 . In Proceedings CAAP '93, volume 668 of LNCS, pages 468\u2013484. Springer Verlag, 1993.","DOI":"10.1007\/3-540-56610-4_83"},{"key":"11_CR8","volume-title":"Technical Report TR-97-14","author":"A. Corradini","year":"1997","unstructured":"A. Corradini and F. Drewes. (Cyclic) term graph rewriting is adequate for rational parallel term rewriting. Technical Report TR-97-14, Dipartimento di Informatica, Pisa, 1997."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"A. Corradini and F. Gadducci. CPO Models for infinite term rewriting. In Algebraic Methodology and Software Technology, volume 936 of LNCS, pages 368\u2013384. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60043-4_65"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0304-3975(92)90087-V","volume":"103","author":"A. Corradini","year":"1992","unstructured":"A. Corradini and U. Montanari. An algebraic semantics for structured transition systems and its application to logic programs. Theoret. Comput. Sci., 103:51\u2013106, 1992.","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and S. Kaplan. Rewrite, rewrite, rewrite, rewrite, rewrite.... In Proc. POPL'89, Austin, pages 250\u2013259, 1989.","DOI":"10.1145\/75277.75299"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, S. Kaplan, and D.A. Plaisted. Infinite normal forms (plus corrigendum). In Proc. ICALP'89, pages 249\u2013262, 1989.","DOI":"10.1007\/BFb0035765"},{"key":"11_CR13","first-page":"153","volume":"80","author":"C. C. Elgot","year":"1975","unstructured":"C. C. Elgot. Monadic computations and iterative algebraic theories. In Logic Colloquium 1973, volume 80 of Studies in Logic, pages 153\u2013169. North Holland, 1975.","journal-title":"Studies in Logic"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1016\/0022-0000(78)90024-7","volume":"16","author":"C.C. Elgot","year":"1978","unstructured":"C.C. Elgot, C.C. Bloom, and R. Tindell. The algebraic structure of rooted trees. Journal of Computer and System Science, 16:362\u2013339, 1978.","journal-title":"Journal of Computer and System Science"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/77606.77612","volume":"12","author":"W.M. Farmer","year":"1990","unstructured":"W.M. Farmer, J.D. Ramsdell, and R.J. Watro. A correctness proof for combinator reduction with cycles. ACM Trans. Program. Lang. Syst., 12:123\u2013134, 1990.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"W.M. Farmer and R.J. Watro. Redex capturing in term graph rewriting. In R.V. Book, editor, Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA '91), volume 488 of LNCS, pages 13\u201324. Springer Verlag, 1991.","DOI":"10.1007\/3-540-53904-2_82"},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1016\/0022-0000(79)90032-1","volume":"18","author":"S. Ginali","year":"1979","unstructured":"S. Ginali. Regular trees and the free iterative theory. Journal of Computer and System Science, 18:222\u2013242, 1979.","journal-title":"Journal of Computer and System Science"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"J.A. Goguen, J.W. Tatcher, E.G. Wagner, and J.R Wright. Some fundamentals of order-algebraic semantics. In Mathematical Foundations of Computer Science, volume 45 of LNCS, pages 153\u2013168. Springer Verlag, 1976.","DOI":"10.1007\/3-540-07854-1_169"},{"key":"11_CR19","doi-asserted-by":"publisher","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, and J.R Wright. Initial algebra semantics and continuous algebras. Journal of the ACM, 24:68\u201395, 1977.","journal-title":"Journal of the ACM"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"P. Inverardi and M. Venturini-Zilli. Rational rewriting. In Mathematical Foundations of Computer Science, volume 841 of LNCS, pages 433\u2013442. Springer Verlag, 1994.","DOI":"10.1007\/3-540-58338-6_90"},{"key":"11_CR21","doi-asserted-by":"publisher","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, and F.J. de Vries. On the adequacy of graph rewriting for simulating term rewriting. ACM Trans. Program. Lang. Syst., 16:493\u2013523, 1994.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1006\/inco.1995.1075","volume":"119","author":"J.R. Kennaway","year":"1995","unstructured":"J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries. Transfinite reductions in orthogonal term rewriting system. Information and Computation, 119:18\u201338, 1995.","journal-title":"Information and Computation"},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/S0960129500000980","volume":"6","author":"C. Laneve","year":"1996","unstructured":"C. Laneve and U. Montanari. Axiomatizing permutation equivalence in the \u03bb-calculus. Mathematical Structures in Computer Science, 6:219\u2013249, 1996.","journal-title":"Mathematical Structures in Computer Science"},{"key":"11_CR24","doi-asserted-by":"publisher","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. Proc. National Academy of Science, 50:869\u2013872, 1963.","journal-title":"Proc. National Academy of Science"},{"key":"11_CR25","doi-asserted-by":"publisher","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. Theoret. Comput. Sci., 96:73\u2013155, 1992.","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"A.J. Power. An abstract formulation for rewrite systems. In Proceedings Category Theory in Computer Science, volume 389 of LNCS, pages 300\u2013312. Springer Verlag, 1989.","DOI":"10.1007\/BFb0018358"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"D.E. Rydehard and E.G. Stell. Foundations of equational deductions: A categorical treatment of equational proofs and unification algorithms. In Proceedings Category Theory in Computer Science, volume 283 of LNCS, pages 114\u2013139. Springer Verlag, 1987.","DOI":"10.1007\/3-540-18508-9_23"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,27]],"date-time":"2021-07-27T22:21:41Z","timestamp":1627424501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643005","9783540697206"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0053548","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}