{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T03:51:44Z","timestamp":1781927504373,"version":"3.54.5"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319661667","type":"print"},{"value":"9783319661674","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66167-4_12","type":"book-chapter","created":{"date-parts":[[2017,8,28]],"date-time":"2017-08-28T07:15:18Z","timestamp":1503904518000},"page":"209-226","source":"Crossref","is-referenced-by-count":6,"title":["On Solving Nominal Fixpoint Equations"],"prefix":"10.1007","author":[{"given":"Mauricio","family":"Ayala-Rinc\u00f3n","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Washington","family":"de Carvalho-Segundo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maribel","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniele","family":"Nantes-Sobrinho","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,8,29]]},"reference":[{"key":"12_CR1","unstructured":"Aoto, T., Kikuchi, v: A rule-based procedure for equivariant nominal unification. In: Pre-proceeding of Higher-Order Rewriting (HOR), pp. 1\u20135 (2016)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-40229-1_12","volume-title":"Automated Reasoning","author":"T Aoto","year":"2016","unstructured":"Aoto, T., Kikuchi, K.: Nominal confluence tool. In: Olivetti, N., Tiwari, A. (eds.) IJCAR 2016. LNCS (LNAI), vol. 9706, pp. 173\u2013182. Springer, Cham (2016). doi: 10.1007\/978-3-319-40229-1_12"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Ayala-Rinc\u00f3n, M., Carvalho-Segundo, W., Fern\u00e1ndez, M., Nantes-Sobrinho, D.: A formalisation of nominal equivalence with associative-commutative function symbols. ENTCS 332, 21\u201338 (2017). Post-proceeding of Eleventh Logical and Semantic Frameworks with Applications (LSFA)","DOI":"10.1016\/j.entcs.2017.04.003"},{"key":"12_CR4","unstructured":"Ayala-Rinc\u00f3n, M., Carvalho-Segundo, W., Fern\u00e1ndez, M., Nantes-Sobrinho, D.: Nominal C-Unification. Av (2017). http:\/\/ayala.mat.unb.br\/publications.html"},{"key":"12_CR5","unstructured":"Ayala-Rinc\u00f3n, M., Fern\u00e1ndez, M., Nantes-Sobrinho, D.: Nominal narrowing. In: Proceedings of 1st International Conference on Formal Structures for Computation and Deduction (FSCD), vol. 52 of LIPIcs, pp. 1\u201316. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2016)"},{"key":"12_CR6","first-page":"57","volume":"323","author":"M Ayala-Rinc\u00f3n","year":"2016","unstructured":"Ayala-Rinc\u00f3n, M., Fern\u00e1ndez, M., Rocha-oliveira, A.C.: Completeness in PVS of a nominal unification algorithm. ENTCS 323, 57\u201374 (2016)","journal-title":"ENTCS"},{"key":"12_CR7","doi-asserted-by":"crossref","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. CUP, Cambridge (1998)"},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/s10817-009-9164-3","volume":"45","author":"J Cheney","year":"2010","unstructured":"Cheney, J.: Equivariant unification. J. Autom. Reason. 45, 267\u2013300 (2010)","journal-title":"J. Autom. Reason."},{"issue":"6","key":"12_CR9","doi-asserted-by":"crossref","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. Inf. Comput. 205(6), 917\u2013965 (2007)","journal-title":"Inf. Comput."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Schmidt-Schau\u00df, M., Kutsia, T., Levy, J., Villaret, M.: Nominal unification of higher order expressions with recursive let. CoRR, abs\/1608.03771 (2016)","DOI":"10.1007\/978-3-319-63139-4_19"},{"issue":"2","key":"12_CR11","doi-asserted-by":"crossref","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. Inf. Comput. 186(2), 165\u2013193 (2003)","journal-title":"Inf. Comput."},{"key":"12_CR12","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-6804-6","volume-title":"The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions","author":"BE Sagan","year":"2001","unstructured":"Sagan, B.E.: The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions. Graduate Texts in Mathematics, vol. 203, 2nd edn. Springer, New York (2001)","edition":"2"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-09519-5_53","volume-title":"Symbolic and Algebraic Computation","author":"J Siekmann","year":"1979","unstructured":"Siekmann, J.: Unification of commutative terms. In: Ng, E.W. (ed.) Symbolic and Algebraic Computation. LNCS, vol. 72, pp. 22\u201322. Springer, Heidelberg (1979). doi: 10.1007\/3-540-09519-5_53"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Urban, C.: Nominal unification revisited. In: Proceedings of International Workshop on Unification (UNIF), vol. 42 of EPTCS, pp. 1\u201311 (2010)","DOI":"10.4204\/EPTCS.42.1"},{"issue":"1\u20133","key":"12_CR15","first-page":"473497","volume":"323","author":"C Urban","year":"2004","unstructured":"Urban, C., Pitts, A.M., Gabbay, M.J.: Nominal unification. Theor. Comput. Sci. 323(1\u20133), 473497 (2004)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66167-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T17:14:34Z","timestamp":1570036474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66167-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661667","9783319661674"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66167-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}