{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:38Z","timestamp":1725551618715},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540305538"},{"type":"electronic","value":"9783540316503"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11591191_15","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T09:44:25Z","timestamp":1132652665000},"page":"199-214","source":"Crossref","is-referenced-by-count":5,"title":["On Confluence of Infinitary Combinatory Reduction Systems"],"prefix":"10.1007","author":[{"given":"Jeroen","family":"Ketema","sequence":"first","affiliation":[]},{"given":"Jakob Grue","family":"Simonsen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/263699.263710","volume-title":"Proc. of the 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1997)","author":"M. Hanus","year":"1997","unstructured":"Hanus, M.: A unified computation model for functional and logic programming. In: Proc. of the 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1997), pp. 80\u201393. ACM Press, New York (1997)"},{"key":"15_CR2","unstructured":"Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: An operational semantics for declarative multi-paradigm languages. In: Proc. of the 11th Int. Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Universit\u00e0 degli Studi di Udine, pp. 7\u201320 (2002)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-36388-2_22","volume-title":"Practical Aspects of Declarative Languages","author":"A.J. Fern\u00e1ndez","year":"2002","unstructured":"Fern\u00e1ndez, A.J., Hortal\u00e1-Gonzales, T., S\u00e1enz-P\u00e9rez, F.: Solving combinatorial problems with a constraint functional logic language. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 320\u2013338. Springer, Heidelberg (2002)"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0304-3975(91)90040-9","volume":"83","author":"N. Dershowitz","year":"1991","unstructured":"Dershowitz, N., Kaplan, S., Plaisted, D.A.: Rewrite, rewrite, rewrite, rewrite, rewrite, .... Theoretical Computer Science\u00a083, 71\u201396 (1991)","journal-title":"Theoretical Computer Science"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1006\/inco.1995.1075","volume":"119","author":"R. Kennaway","year":"1995","unstructured":"Kennaway, R., Klop, J.W., Sleep, R., de Vries, F.J.: Transfinite reductions in orthogonal term rewriting systems. Information and Computation\u00a0119, 18\u201338 (1995)","journal-title":"Information and Computation"},{"key":"15_CR6","volume-title":"Term Rewriting Systems","author":"Terese","year":"2003","unstructured":"Terese: Term Rewriting Systems. Cambridge University Press, Cambridge (2003)"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/S0304-3975(96)00171-5","volume":"175","author":"J.R. Kennaway","year":"1997","unstructured":"Kennaway, J.R., Klop, J.W., Sleep, M., de Vries, F.J.: Infinitary lambda calculus. Theoretical Computer Science\u00a0175, 93\u2013125 (1997)","journal-title":"Theoretical Computer Science"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-58431-5_16","volume-title":"Algebraic and Logic Programming","author":"M. Marchiori","year":"1994","unstructured":"Marchiori, M.: Logic programs as term rewriting systems. In: Rodr\u00edguez-Artalejo, M., Levi, G. (eds.) ALP 1994. LNCS, vol.\u00a0850, pp. 223\u2013241. Springer, Heidelberg (1994)"},{"key":"15_CR9","first-page":"168","volume-title":"Proc. of the 14th Int. Conf. on Logic Programming (ICLP 1997)","author":"F. Raamsdonk van","year":"1997","unstructured":"van Raamsdonk, F.: Translating logic programs into conditional rewriting systems. In: Proc. of the 14th Int. Conf. on Logic Programming (ICLP 1997), pp. 168\u2013182. MIT Press, Cambridge (1997)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/3-540-48685-2_5","volume-title":"Rewriting Techniques and Applications","author":"V. Oostrom van","year":"1999","unstructured":"van Oostrom, V.: Normalisation in weakly orthogonal rewriting. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol.\u00a01631, pp. 60\u201374. Springer, Heidelberg (1999)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1006\/inco.1993.1026","volume":"104","author":"R.C. Sekar","year":"1993","unstructured":"Sekar, R.C., Ramakrishnan, I.V.: Programming in equational logic: beyond strong sequentiality. Information and Computation\u00a0104, 78\u2013109 (1993)","journal-title":"Information and Computation"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1007\/978-3-540-32033-3_32","volume-title":"Term Rewriting and Applications","author":"J. Ketema","year":"2005","unstructured":"Ketema, J., Simonsen, J.G.: Infinitary combinatory reduction systems. In: Giesl, J. (ed.) RTA 2005. LNCS, vol.\u00a03467, pp. 438\u2013452. Springer, Heidelberg (2005)"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0304-3975(93)90091-7","volume":"121","author":"J.W. Klop","year":"1993","unstructured":"Klop, J.W., van Oostrom, V., van Raamsdonk, F.: Combinatory reduction systems: introduction and survey. Theoretical Computer Science\u00a0121, 279\u2013308 (1993)","journal-title":"Theoretical Computer Science"},{"key":"15_CR14","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1980-3405","volume":"3","author":"A. Arnold","year":"1980","unstructured":"Arnold, A., Nivat, M.: The metric space of infinite trees. Algebraic and topological properties. Fundamenta Informaticae\u00a03, 445\u2013476 (1980)","journal-title":"Fundamenta Informaticae"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-61464-8_48","volume-title":"Rewriting Techniques and Applications","author":"M. Hanus","year":"1996","unstructured":"Hanus, M., Prehofer, C.: Higher-order narrowing with definitional trees. In: Ganzinger, H. (ed.) RTA 1996. LNCS, vol.\u00a01103, pp. 138\u2013152. Springer, Heidelberg (1996)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/3-540-61464-8_67","volume-title":"Rewriting Techniques and Applications","author":"V. Oostrom van","year":"1996","unstructured":"van Oostrom, V.: Higher-order families. In: Ganzinger, H. (ed.) RTA 1996. LNCS, vol.\u00a01103, pp. 392\u2013407. Springer, Heidelberg (1996)"},{"key":"15_CR17","unstructured":"Klop, J.W.: Combinatory Reduction Systems. PhD thesis, Rijksuniversiteit Utrecht (1980)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11591191_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T03:56:58Z","timestamp":1626753418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11591191_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540305538","9783540316503"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11591191_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}