{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:36Z","timestamp":1725664596847},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540629504"},{"type":"electronic","value":"9783540690511"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62950-5_70","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:57:32Z","timestamp":1330297052000},"page":"187-201","source":"Crossref","is-referenced-by-count":8,"title":["A new parallel closed condition for Church-Rosser of left-linear term rewriting systems"],"prefix":"10.1007","author":[{"given":"Michio","family":"Oyamaguchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshikatsu","family":"Ohta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"14_CR1","first-page":"243","volume-title":"Handbook of Theoretical Computer Science, Vol.B","author":"N. Dershowitz","year":"1990","unstructured":"N.Dershowitz and J.-P.Jouannaud, Rewrite Systems, Handbook of Theoretical Computer Science, Vol.B, ed. J.van Leeuwen, pp. 243\u2013320, North-Holland, Amsterdam (1990)."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"N.Dershowitz, J.-P. Jouannaud and J.W.Klop, Open Problems in Rewriting, Proceedings of the 4th International Conference on Rewriting Techniques and Applications, ed. R.V. Book, LNCS 488, pp. 445\u2013456 (1991).","DOI":"10.1007\/3-540-53904-2_120"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G.Huet, Confluent reductions: abstract properties and applications to term rewriting systems, J.ACM 27, pp. 797\u2013821 (1980).","journal-title":"J.ACM"},{"key":"14_CR4","unstructured":"J.W.Klop, Term rewriting systems, Handbook of Logic in Computer Science 2, eds. S.Abramsky, D.Gabbay and T.Maibaum, pp. 1\u2013116, Oxford University Press (1992)."},{"key":"14_CR5","first-page":"263","volume-title":"Computational Problems in Abstract Algebra","author":"D. Knuth","year":"1970","unstructured":"D.Knuth and P.Bendix, Simple word problems in universal algebra, Computational Problems in Abstract Algebra, ed. J.Leech, pp. 263\u2013297, Pergamon Press, Elmsford (1970)."},{"key":"14_CR6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0304-3975(87)90100-9","volume":"49","author":"M. Oyamaguchi","year":"1987","unstructured":"M.Oyamaguchi, The Church-Rosser property for ground term rewriting systems is decidable, Theoret. Comput. Sci. 49, pp. 43\u201379 (1987).","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR7","first-page":"39","volume":"J76-D-I","author":"M. Oyamaguchi","year":"1993","unstructured":"M.Oyamaguchi and Y.Ohta, On the Confluent Property of Right-Ground Term Rewriting Systems, Trans. IEICE Japan, J76-D-I, pp. 39\u201345 (1993).","journal-title":"Trans. IEICE Japan"},{"key":"14_CR8","first-page":"99","volume":"20","author":"M. Oyamaguchi","year":"1995","unstructured":"M.Oyamaguchi and Y.Toyama, On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS's, Research Reports of the Faculty of Engineering, Mie Univ., 20, pp. 99\u2013118 (1995).","journal-title":"Research Reports of the Faculty of Engineering, Mie Univ."},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1145\/321738.321750","volume":"20","author":"B.K. Rosen","year":"1973","unstructured":"B.K.Rosen, Tree-manipulating systems and Church-Rosser theorems, J.ACM 20, pp. 160\u2013187 (1973).","journal-title":"J.ACM"},{"key":"14_CR10","first-page":"1370","volume":"J66-D","author":"Y. Toyama","year":"1983","unstructured":"Y.Toyama, On commutativity of term rewriting systems, Trans. IECE Japan, J66-D, pp. 1370\u20131375 (1983).","journal-title":"Trans. IECE Japan"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Y.Toyama and M.Oyamaguchi, Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems, Proc. 4th International Workshop on Conditional Term Rewriting Systems, eds. N.Dershowitz and N.Lindenstrauss, LNCS 968, pp. 316\u2013331 (1994).","DOI":"10.1007\/3-540-60381-6_19"},{"issue":"No.12","key":"14_CR12","first-page":"2147","volume":"27","author":"H. Gomi","year":"1996","unstructured":"H.Gomi, M.Oyamaguchi and Y.Ohta, On the Church-Rosser Property of Non-E-overlapping and Strongly Depth-Preserving Term Rewriting Systems, Trans. IPS. Japan, Vol.27, No.12, pp.2147\u20132160 (1996).","journal-title":"Trans. IPS. Japan"},{"key":"14_CR13","first-page":"21","volume":"1059","author":"B. Gramlich","year":"1996","unstructured":"B.Gramlich, Confluence without Termination via Parallel Critical Pairs, In Proceedings of CAAP'96, LNCS 1059, pp. 21\u2013225 (1996).","journal-title":"LNCS"},{"key":"14_CR14","unstructured":"B.Gramlich, Termination and Confluence Properties of Structured Rewrite Systems, Ph.D. Thesis, University of Kaiserslautern (1996)."},{"key":"14_CR15","unstructured":"V.van Oostrom, Developing developments, Technical Report ISRL-94-4,NTT(1994) and Theoretical Computer Science, to appear."},{"key":"14_CR16","unstructured":"Y.Toyama, On the Church-Rosser property of term rewriting systems, Techinical Report 17672, NTT ECL, December (1981)."}],"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-62950-5_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:06Z","timestamp":1605647706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62950-5_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540629504","9783540690511"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-62950-5_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}