{"id":"https://openalex.org/W2753957497","doi":"https://doi.org/10.1007/978-3-319-94460-9_14","title":"Nominal C-Unification","display_name":"Nominal C-Unification","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2753957497","doi":"https://doi.org/10.1007/978-3-319-94460-9_14","mag":"2753957497"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-94460-9_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-94460-9_14","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1709.05384","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":true,"raw_author_name":"Mauricio Ayala-Rinc\u00f3n","raw_affiliation_strings":["Universidade de Brasilia"],"affiliations":[{"raw_affiliation_string":"Universidade de Brasilia","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048353981","display_name":"Washington Lu\u00eds Ribeiro de Carvalho Segundo","orcid":"https://orcid.org/0000-0003-3635-9384"},"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":"Washington de Carvalho-Segundo","raw_affiliation_strings":["Universidade de Brasilia"],"affiliations":[{"raw_affiliation_string":"Universidade de Brasilia","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":false,"raw_author_name":"Maribel Fern\u00e1ndez","raw_affiliation_strings":["King's College London"],"affiliations":[{"raw_affiliation_string":"King's College London","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"last","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":["Universidade de Brasilia"],"affiliations":[{"raw_affiliation_string":"Universidade de Brasilia","institution_ids":["https://openalex.org/I150729083"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5043206848"],"corresponding_institution_ids":["https://openalex.org/I150729083"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.2719,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.50778816,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"235","last_page":"251"},"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.9997000098228455,"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.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9962999820709229,"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.9952999949455261,"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/unification","display_name":"Unification","score":0.9531824588775635},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49857068061828613},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4923363924026489},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.4886029362678528},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.48506131768226624},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4626179039478302},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37956005334854126},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33264273405075073},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.26883774995803833},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.24728012084960938},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.24239632487297058},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09242025017738342},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06929275393486023}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.9531824588775635},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49857068061828613},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4923363924026489},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.4886029362678528},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.48506131768226624},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4626179039478302},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37956005334854126},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33264273405075073},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.26883774995803833},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24728012084960938},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.24239632487297058},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09242025017738342},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06929275393486023}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-319-94460-9_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-94460-9_14","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:arXiv.org:1709.05384","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1709.05384","pdf_url":"https://arxiv.org/pdf/1709.05384","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2753957497","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1709.05384.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/9f7321f1-b873-4f73-91cf-9d08355b16d6","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85050332686&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Ayala-Rinc\u00f3n, M, de Carvalho-Segundo, W, Fern\u00e1ndez, M & Nantes-Sobrinho, D 2018, Nominal C-unification. in F Fioravanti & J P Gallagher (eds), Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10855 LNCS, Springer Verlag, pp. 235-251, 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, Namur, Belgium, 10/10/2017. https://doi.org/10.1007/978-3-319-94460-9_14","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"doi:10.48550/arxiv.1709.05384","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1709.05384","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1709.05384","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1709.05384","pdf_url":"https://arxiv.org/pdf/1709.05384","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.4399999976158142,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W185430123","https://openalex.org/W1481023204","https://openalex.org/W1512655913","https://openalex.org/W1518468345","https://openalex.org/W1583295953","https://openalex.org/W1863201158","https://openalex.org/W1975082667","https://openalex.org/W1980290268","https://openalex.org/W2017115013","https://openalex.org/W2063416448","https://openalex.org/W2078476977","https://openalex.org/W2096639003","https://openalex.org/W2105683431","https://openalex.org/W2115857898","https://openalex.org/W2495029002","https://openalex.org/W2504157767","https://openalex.org/W2511722588","https://openalex.org/W2745493104","https://openalex.org/W2911271085","https://openalex.org/W2912255765","https://openalex.org/W2914480101","https://openalex.org/W4230919050","https://openalex.org/W4245071229"],"related_works":["https://openalex.org/W2964141923","https://openalex.org/W1481023204","https://openalex.org/W1803054864","https://openalex.org/W2980901358","https://openalex.org/W3130026979","https://openalex.org/W2155542437","https://openalex.org/W1501058900","https://openalex.org/W324647241","https://openalex.org/W1506801966","https://openalex.org/W1519494310","https://openalex.org/W1589916754","https://openalex.org/W2051020081","https://openalex.org/W192261927","https://openalex.org/W1604163049","https://openalex.org/W1865203519","https://openalex.org/W96397883","https://openalex.org/W2019741149","https://openalex.org/W2073354681","https://openalex.org/W2577911961","https://openalex.org/W2124322005"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}