{"id":"https://openalex.org/W4386297717","doi":"https://doi.org/10.1007/978-3-031-42753-4_4","title":"Nominal AC-Matching","display_name":"Nominal AC-Matching","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4386297717","doi":"https://doi.org/10.1007/978-3-031-42753-4_4"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-42753-4_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-42753-4_4","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":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://kclpure.kcl.ac.uk/ws/files/236399982/CICM2023.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":["University of Bras\u00edlia, Bras\u00edlia, Brazil"],"raw_orcid":"https://orcid.org/0000-0003-0089-3905","affiliations":[{"raw_affiliation_string":"University of Bras\u00edlia, Bras\u00edlia, 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":false,"raw_author_name":"Maribel Fern\u00e1ndez","raw_affiliation_strings":["King\u2019s College London, London, UK","King's College London, London, UK"],"raw_orcid":"https://orcid.org/0000-0001-8325-5815","affiliations":[{"raw_affiliation_string":"King\u2019s College London, London, UK","institution_ids":["https://openalex.org/I183935753"]},{"raw_affiliation_string":"King's College London, London, UK","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088811365","display_name":"Gabriel Ferreira Silva","orcid":null},"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":"Gabriel Ferreira Silva","raw_affiliation_strings":["University of Bras\u00edlia, Bras\u00edlia, Brazil"],"raw_orcid":"https://orcid.org/0000-0003-1679-3597","affiliations":[{"raw_affiliation_string":"University of Bras\u00edlia, Bras\u00edlia, Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080230891","display_name":"Temur Kutsia","orcid":"https://orcid.org/0000-0003-4084-7380"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Temur Kutsia","raw_affiliation_strings":["Johannes Kepler University Linz, Linz, Austria"],"raw_orcid":"https://orcid.org/0000-0003-4084-7380","affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"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"]},{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["BR","GB"],"is_corresponding":false,"raw_author_name":"Daniele Nantes-Sobrinho","raw_affiliation_strings":["Imperial College London, London, UK","University of Bras\u00edlia, Bras\u00edlia, Brazil"],"raw_orcid":"https://orcid.org/0000-0002-1959-8730","affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"University of Bras\u00edlia, Bras\u00edlia, Brazil","institution_ids":["https://openalex.org/I150729083"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5088811365"],"corresponding_institution_ids":["https://openalex.org/I150729083"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.1214,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.9261988,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"53","last_page":"68"},"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.9998000264167786,"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.9998000264167786,"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.9990000128746033,"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.9980999827384949,"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/soundness","display_name":"Soundness","score":0.8031071424484253},{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.738223135471344},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7272596955299377},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.593111515045166},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5174870491027832},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.47625207901000977},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4650398790836334},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4500669240951538},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41346976161003113},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3388817608356476},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.20634984970092773},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2063378095626831},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09610781073570251}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8031071424484253},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.738223135471344},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7272596955299377},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.593111515045166},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5174870491027832},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.47625207901000977},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4650398790836334},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4500669240951538},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41346976161003113},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3388817608356476},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.20634984970092773},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2063378095626831},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09610781073570251},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-42753-4_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-42753-4_4","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:kclpure.kcl.ac.uk:openaire/c8e7cc46-6d25-408d-9641-21f239c0b5d5","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/c8e7cc46-6d25-408d-9641-21f239c0b5d5","pdf_url":"https://kclpure.kcl.ac.uk/ws/files/236399982/CICM2023.pdf","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Ayala-Rinc\u00f3n, M, Fern\u00e1ndez, M, Silva, G F, Kutsia, T & Nantes-Sobrinho, D 2023, Nominal AC-Matching. in C Dubois & M Kerber (eds), Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14101 LNAI, Springer Science and Business Media Deutschland GmbH, pp. 53-68, Proceedings of the 16th Conference on Intelligent Computer Mathematics, CICM 2023, Cambridge, United Kingdom, 5/09/2023. https://doi.org/10.1007/978-3-031-42753-4_4","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:kclpure.kcl.ac.uk:openaire/c8e7cc46-6d25-408d-9641-21f239c0b5d5","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/c8e7cc46-6d25-408d-9641-21f239c0b5d5","pdf_url":"https://kclpure.kcl.ac.uk/ws/files/236399982/CICM2023.pdf","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Ayala-Rinc\u00f3n, M, Fern\u00e1ndez, M, Silva, G F, Kutsia, T & Nantes-Sobrinho, D 2023, Nominal AC-Matching. in C Dubois & M Kerber (eds), Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14101 LNAI, Springer Science and Business Media Deutschland GmbH, pp. 53-68, Proceedings of the 16th Conference on Intelligent Computer Mathematics, CICM 2023, Cambridge, United Kingdom, 5/09/2023. https://doi.org/10.1007/978-3-031-42753-4_4","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7294143829","display_name":null,"funder_award_id":"P 35530","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"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":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386297717.pdf"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W1484319462","https://openalex.org/W1501902699","https://openalex.org/W1512655913","https://openalex.org/W1523315298","https://openalex.org/W1531694433","https://openalex.org/W1565808177","https://openalex.org/W1805897518","https://openalex.org/W1863201158","https://openalex.org/W1975082667","https://openalex.org/W2012270428","https://openalex.org/W2016416448","https://openalex.org/W2024790008","https://openalex.org/W2033288425","https://openalex.org/W2037026294","https://openalex.org/W2043815581","https://openalex.org/W2052280100","https://openalex.org/W2078476977","https://openalex.org/W2105795109","https://openalex.org/W2136171121","https://openalex.org/W2141669458","https://openalex.org/W2472676800","https://openalex.org/W2511722588","https://openalex.org/W2745493104","https://openalex.org/W2911271085","https://openalex.org/W2912255765","https://openalex.org/W2919417915","https://openalex.org/W2964141923","https://openalex.org/W3096318507","https://openalex.org/W3122201583","https://openalex.org/W3130026979","https://openalex.org/W3160798129","https://openalex.org/W4245071229","https://openalex.org/W6891630923"],"related_works":["https://openalex.org/W4302559785","https://openalex.org/W2000943029","https://openalex.org/W2950376466","https://openalex.org/W1969483203","https://openalex.org/W2466303427","https://openalex.org/W1511249877","https://openalex.org/W1578828174","https://openalex.org/W4226437312","https://openalex.org/W2949331520","https://openalex.org/W2810367355"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-01-24T23:23:39.755997","created_date":"2025-10-10T00:00:00"}