{"id":"https://openalex.org/W3137580398","doi":"https://doi.org/10.1007/978-3-030-71995-1_2","title":"Nominal Equational Problems","display_name":"Nominal Equational Problems","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3137580398","doi":"https://doi.org/10.1007/978-3-030-71995-1_2","mag":"3137580398"},"language":"lv","primary_location":{"id":"doi:10.1007/978-3-030-71995-1_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-71995-1_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-71995-1_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-71995-1_2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043206848","display_name":"Maur\u00edcio Ayala-Rinc\u00f3n","orcid":"https://orcid.org/0000-0003-0089-3905"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Mauricio Ayala-Rinc\u00f3n","raw_affiliation_strings":["Departments of Computer Science and Mathematics, Universidade de Bras\u00edlia, Bras\u00edlia D.F., Brazil"],"affiliations":[{"raw_affiliation_string":"Departments of Computer Science and Mathematics, Universidade de Bras\u00edlia, Bras\u00edlia D.F., Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072769917","display_name":"Maribel Fern\u00e1ndez","orcid":"https://orcid.org/0000-0001-8325-5815"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Maribel Fern\u00e1ndez","raw_affiliation_strings":["Department of Informatics, King\u2019s College London, London, UK","Department of Informatics, King's College London, London, UK"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, King\u2019s College London, London, UK","institution_ids":["https://openalex.org/I183935753"]},{"raw_affiliation_string":"Department of Informatics, King's College London, London, UK","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002326512","display_name":"Daniele Nantes-Sobrinho","orcid":"https://orcid.org/0000-0002-1959-8730"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Daniele Nantes-Sobrinho","raw_affiliation_strings":["Departments of Computer Science and Mathematics, Universidade de Bras\u00edlia, Bras\u00edlia D.F., Brazil"],"affiliations":[{"raw_affiliation_string":"Departments of Computer Science and Mathematics, Universidade de Bras\u00edlia, Bras\u00edlia D.F., Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087543852","display_name":"Deivid Vale","orcid":"https://orcid.org/0000-0003-1350-3478"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Deivid Vale","raw_affiliation_strings":["Department of Software Science, Radboud University Nijmegen, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Software Science, Radboud University Nijmegen, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5072769917"],"corresponding_institution_ids":["https://openalex.org/I183935753"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.359,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.52463054,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"22","last_page":"41"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.989799976348877,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9531000256538391,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5048568844795227},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.26927587389945984}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5048568844795227},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.26927587389945984}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-71995-1_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-71995-1_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-71995-1_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pubmedcentral.nih.gov:7984105","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7984105","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Foundations of Software Science and Computation Structures","raw_type":"Text"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/242961","is_oa":false,"landing_page_url":"https://repository.ubn.ru.nl/handle/2066/242961","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kiefer, S. (ed.), Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 \u2013 April 1, 2021, Proceedings, pp. 22-41","raw_type":"Article in monograph or in proceedings"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-71995-1_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-71995-1_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-71995-1_2.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3331681876","display_name":null,"funder_award_id":"CAPES","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G3769258809","display_name":null,"funder_award_id":"2/2017","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G4374706385","display_name":null,"funder_award_id":"41/2017","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G6227364414","display_name":"Implicit Complexity through Higher Order Rewriting","funder_award_id":"612.001.803","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3137580398.pdf","grobid_xml":"https://content.openalex.org/works/W3137580398.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W147641928","https://openalex.org/W427601738","https://openalex.org/W1484198662","https://openalex.org/W1511251273","https://openalex.org/W1594084984","https://openalex.org/W1612885523","https://openalex.org/W1805897518","https://openalex.org/W1837362933","https://openalex.org/W1990334561","https://openalex.org/W2015373596","https://openalex.org/W2033074970","https://openalex.org/W2052280100","https://openalex.org/W2072195664","https://openalex.org/W2072384491","https://openalex.org/W2105683431","https://openalex.org/W2160623077","https://openalex.org/W2205009220","https://openalex.org/W2276101422","https://openalex.org/W2911271085","https://openalex.org/W2912255765","https://openalex.org/W2962992940","https://openalex.org/W3014001713","https://openalex.org/W4245071229"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2544423928","https://openalex.org/W2052122378","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2989452537","https://openalex.org/W4313731559"],"abstract_inverted_index":{"Abstract":[0],"We":[1,124],"define":[2,150],"nominal":[3,122,142,191],"equational":[4,192,226],"problems":[5],"of":[6,48,52,129,134,152,219,223],"the":[7,141,147,165,180,217,221],"form":[8,154],"$$\\exists":[9],"\\overline{W}":[10],"\\forall":[11],"\\overline{Y}":[12],":":[13],"P$$":[14],"<mml:math":[15,43,57,72,88,104,114,239],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[16,44,58,73,89,105,115,240],"<mml:mrow>":[17,20,23,29,32,59,74,90,116],"<mml:mo>\u2203</mml:mo>":[18],"<mml:mover>":[19,28],"<mml:mi>W</mml:mi>":[21],"</mml:mrow>":[22,25,31,34,38,66,78,97,120],"<mml:mo>\u00af</mml:mo>":[24,33],"</mml:mover>":[26,35],"<mml:mo>\u2200</mml:mo>":[27],"<mml:mi>Y</mml:mi>":[30],"<mml:mo>:</mml:mo>":[36],"<mml:mi>P</mml:mi>":[37,45],"</mml:math>":[39,46,67,79,98,107,121,242],",":[40,68],"where":[41,102],"$$P$$":[42],"consists":[47],"conjunctions":[49],"and":[50,80,99,111,131,162,171,184,202],"disjunctions":[51],"equations":[53],"$$s\\approx":[54],"_\\alpha":[55,86],"t$$":[56,87,113],"<mml:mi>s</mml:mi>":[60,91,117],"<mml:msub>":[61,92],"<mml:mo>\u2248</mml:mo>":[62],"<mml:mi>\u03b1</mml:mi>":[63,94,241],"</mml:msub>":[64,95],"<mml:mi>t</mml:mi>":[65,77,96,119],"freshness":[69],"constraints":[70],"$$a\\#t$$":[71],"<mml:mi>a</mml:mi>":[75,106],"<mml:mo>#</mml:mo>":[76],"their":[81],"negations:":[82],"$$s":[83],"\\not":[84],"\\approx":[85],"<mml:mo>\u2249</mml:mo>":[93],"\"Equation":[100],"missing\",":[101],"$$a$$":[103],"is":[108,244],"an":[109,187],"atom":[110],"$$s,":[112],"<mml:mo>,</mml:mo>":[118],"terms.":[123],"give":[125],"a":[126,132,174,224,229],"general":[127],"definition":[128],"solution":[130],"set":[133],"simplification":[135,166,181],"rules":[136,167],"to":[137,189,207],"compute":[138],"solutions":[139,157],"in":[140,228],"ground":[143],"term":[144],"algebra.":[145],"For":[146],"latter,":[148],"we":[149,214],"notions":[151],"solved":[153],"from":[155],"which":[156],"can":[158],"be":[159],"easily":[160],"extracted":[161],"show":[163,215],"that":[164,216],"are":[168],"sound,":[169],"preserving,":[170],"complete.":[172],"With":[173],"particular":[175],"strategy":[176],"for":[177,204],"rule":[178],"application,":[179],"process":[182],"terminates":[183],"thus":[185],"specifies":[186],"algorithm":[188],"solve":[190],"problems.":[193],"These":[194],"results":[195,198],"generalise":[196],"previous":[197],"obtained":[199],"by":[200],"Comon":[201],"Lescanne":[203],"first-order":[205,225],"languages":[206,208],"with":[209,231],"binding":[210,232],"operators.":[211],"In":[212],"particular,":[213],"problem":[218],"deciding":[220],"validity":[222,235],"formula":[227],"language":[230],"operators":[233],"(i.e.,":[234],"modulo":[236],"$$\\alpha":[237],"$$":[238],"-equality)":[243],"decidable.":[245]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}