{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T14:04:29Z","timestamp":1749737069435,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031177149"},{"type":"electronic","value":"9783031177156"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-17715-6_17","type":"book-chapter","created":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T09:02:27Z","timestamp":1664701347000},"page":"255-271","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Ground Confluence and\u00a0Strong Commutation Modulo Alpha-Equivalence in\u00a0Nominal Rewriting"],"prefix":"10.1007","author":[{"given":"Kentaro","family":"Kikuchi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,3]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.entcs.2016.06.004","volume":"323","author":"M Ayala-Rinc\u00f3n","year":"2016","unstructured":"Ayala-Rinc\u00f3n, M., Fern\u00e1ndez, M., Gabbay, M.J., Rocha-Oliveira, A.C.: Checking overlaps of nominal rewriting rules. Electron. Notes Theor. Comput. Sci. 323, 39\u201356 (2016)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"17_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/j.ic.2006.12.002","volume":"205","author":"M Fern\u00e1ndez","year":"2007","unstructured":"Fern\u00e1ndez, M., Gabbay, M.J.: Nominal rewriting. Inform. Comput. 205, 917\u2013965 (2007)","journal-title":"Inform. Comput."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, M., Gabbay, M.J., Mackie, I.: Nominal rewriting systems. In: Proceedings of the 6th PPDP, pp. 108\u2013119. ACM (2004)","DOI":"10.1145\/1013963.1013978"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s001650200016","volume":"13","author":"MJ Gabbay","year":"2002","unstructured":"Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects Comput. 13, 341\u2013363 (2002)","journal-title":"Formal Aspects Comput."},{"key":"17_CR6","unstructured":"Hindley, J.R.: The church-rosser property and a result in combinatory logic. Ph.D. thesis, University of Newcastle-upon-Tyne (1964)"},{"key":"17_CR7","volume-title":"Introduction to Combinators and Lambda-Calculus","author":"JR Hindley","year":"1986","unstructured":"Hindley, J.R., Seldin, J.P.: Introduction to Combinators and Lambda-Calculus. Cambridge University Press, Cambridge (1986)"},{"key":"17_CR8","doi-asserted-by":"publisher","unstructured":"Kikuchi, K., Aoto, T.: Confluence and commutation for nominal rewriting systems with atom-variables. In: Fern\u00e1ndez, M. (ed.) LOPSTR 2020. LNCS, vol. 12561, pp. 56\u201373. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-68446-4_3","DOI":"10.1007\/978-3-030-68446-4_3"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-319-66167-4_7","volume-title":"Frontiers of Combining Systems","author":"K Kikuchi","year":"2017","unstructured":"Kikuchi, K., Aoto, T., Toyama, Y.: Parallel closure theorem for left-linear nominal rewriting systems. In: Dixon, C., Finger, M. (eds.) FroCoS 2017. LNCS (LNAI), vol. 10483, pp. 115\u2013131. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66167-4_7"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1017\/S0960129520000122","volume":"30","author":"Y Kutz","year":"2020","unstructured":"Kutz, Y., Schmidt-Schau\u00df, M.: Rewriting with generalized nominal unification. Math. Struct. Comput. Sci. 30, 710\u2013735 (2020)","journal-title":"Math. Struct. Comput. Sci."},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BFb0052358","volume-title":"Rewriting Techniques and Applications","author":"E Ohlebusch","year":"1998","unstructured":"Ohlebusch, E.: Church-Rosser theorems for abstract reduction modulo an equivalence relation. In: Nipkow, T. (ed.) RTA 1998. LNCS, vol. 1379, pp. 17\u201331. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0052358"},{"key":"17_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3661-8","volume-title":"Advanced Topics in Term Rewriting","author":"E Ohlebusch","year":"2002","unstructured":"Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer, New York (2002). https:\/\/doi.org\/10.1007\/978-1-4757-3661-8"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0890-5401(03)00138-X","volume":"186","author":"AM Pitts","year":"2003","unstructured":"Pitts, A.M.: Nominal logic, a first order theory of names and binding. Inform. Comput. 186, 165\u2013193 (2003)","journal-title":"Inform. Comput."},{"issue":"1","key":"17_CR14","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1145\/321738.321750","volume":"20","author":"B Rosen","year":"1973","unstructured":"Rosen, B.: Tree-manipulating systems and Church-Rosser theorems. J. ACM 20(1), 160\u2013187 (1973)","journal-title":"J. ACM"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.jsc.2018.04.003","volume":"90","author":"M Schmidt-Schau\u00df","year":"2019","unstructured":"Schmidt-Schau\u00df, M., Sabel, D., Kutz, Y.D.K.: Nominal unification with atom-variables. J. Symb. Comput. 90, 42\u201364 (2019)","journal-title":"J. Symb. Comput."},{"key":"17_CR16","unstructured":"Suzuki, T., Kikuchi, K., Aoto, T., Toyama, Y.: Confluence of orthogonal nominal rewriting systems revisited. In: Proceedings of the 26th RTA. LIPIcs, vol. 36, pp. 301\u2013317 (2015)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Suzuki, T., Kikuchi, K., Aoto, T., Toyama, Y.: Critical pair analysis in nominal rewriting. In: Proceedings of the 7th SCSS. EPiC, vol. 39, pp. 156\u2013168. EasyChair (2016)","DOI":"10.29007\/7q54"},{"key":"17_CR18","unstructured":"Toyama, Y.: On the Church-Rosser property of term rewriting systems. Technical Report 17672, NTT ECL (1981). (in Japanese)"},{"key":"17_CR19","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1016\/j.tcs.2004.06.016","volume":"323","author":"C Urban","year":"2004","unstructured":"Urban, C., Pitts, A.M., Gabbay, M.J.: Nominal unification. Theoret. Comput. Sci. 323, 473\u2013497 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"17_CR20","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1016\/S0890-5401(03)00023-3","volume":"183","author":"R Vestergaard","year":"2003","unstructured":"Vestergaard, R., Brotherston, J.: A formalised first-order confluence proof for the $$\\lambda $$-calculus using one-sorted variable names. Inform. Comput. 183, 212\u2013244 (2003)","journal-title":"Inform. Comput."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17715-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,5]],"date-time":"2024-10-05T02:59:13Z","timestamp":1728097153000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17715-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031177149","9783031177156"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17715-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"3 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tbilisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/viam.science.tsu.ge\/clas2022\/ictac\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}