{"id":"https://openalex.org/W4404582495","doi":"https://doi.org/10.1007/978-3-031-77019-7_6","title":"Dual Adjunction Between $$\\varOmega $$-Automata and Wilke Algebra Quotients","display_name":"Dual Adjunction Between $$\\varOmega $$-Automata and Wilke Algebra Quotients","publication_year":2024,"publication_date":"2024-11-21","ids":{"openalex":"https://openalex.org/W4404582495","doi":"https://doi.org/10.1007/978-3-031-77019-7_6"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-77019-7_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-77019-7_6","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://research.rug.nl/en/publications/d3671e57-4ece-45df-9939-413bd576166f","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107496326","display_name":"Anton Chernev","orcid":null},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Anton Chernev","raw_affiliation_strings":["University of Groningen, Groningen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007089889","display_name":"Helle Hvid Hansen","orcid":"https://orcid.org/0000-0001-7061-1219"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Helle Hvid Hansen","raw_affiliation_strings":["University of Groningen, Groningen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058618165","display_name":"Clemens Kupke","orcid":"https://orcid.org/0000-0002-0502-391X"},"institutions":[{"id":"https://openalex.org/I181647926","display_name":"University of Strathclyde","ror":"https://ror.org/00n3w3b69","country_code":"GB","type":"education","lineage":["https://openalex.org/I181647926"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Clemens Kupke","raw_affiliation_strings":["University of Strathclyde, Glasgow, UK"],"affiliations":[{"raw_affiliation_string":"University of Strathclyde, Glasgow, UK","institution_ids":["https://openalex.org/I181647926"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5107496326"],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.58819863,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"96","last_page":"113"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/adjunction","display_name":"Adjunction","score":0.9137210845947266},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.709815502166748},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.6839748620986938},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.5855708122253418},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5552188158035278},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5517348051071167},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34191930294036865},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3304406404495239},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2380862534046173},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.22692233324050903}],"concepts":[{"id":"https://openalex.org/C2780580338","wikidata":"https://www.wikidata.org/wiki/Q577835","display_name":"Adjunction","level":2,"score":0.9137210845947266},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.709815502166748},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.6839748620986938},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.5855708122253418},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5552188158035278},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5517348051071167},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34191930294036865},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3304406404495239},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2380862534046173},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.22692233324050903},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-031-77019-7_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-77019-7_6","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:pure.rug.nl:openaire/d3671e57-4ece-45df-9939-413bd576166f","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/d3671e57-4ece-45df-9939-413bd576166f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Chernev, A, Hansen, H H & Kupke, C 2024, Dual Adjunction Between \u03a9-Automata and Wilke Algebra Quotients. in C Anutariya & M M Bonsangue (eds), Theoretical Aspects of Computing \u2013 ICTAC 2024 - 21st International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15373 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 96-113, 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, Bangkok, Thailand, 25/11/2024. https://doi.org/10.1007/978-3-031-77019-7_6","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/d3671e57-4ece-45df-9939-413bd576166f","is_oa":true,"landing_page_url":"https://hdl.handle.net/11370/d3671e57-4ece-45df-9939-413bd576166f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"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":"Chernev, A, Hansen, H H & Kupke, C 2024, Dual Adjunction Between \u03a9-Automata and Wilke Algebra Quotients. in C Anutariya & M M Bonsangue (eds), Theoretical Aspects of Computing \u2013 ICTAC 2024 - 21st International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15373 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 96-113, 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, Bangkok, Thailand, 25/11/2024. https://doi.org/10.1007/978-3-031-77019-7_6","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.rug.nl:publications/d3671e57-4ece-45df-9939-413bd576166f","is_oa":true,"landing_page_url":"https://research.rug.nl/files/1217783646/978-3-031-77019-7_6_1_.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"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":"Chernev, A, Hansen, H H & Kupke, C 2024, Dual Adjunction Between \u03a9-Automata and Wilke Algebra Quotients. in C Anutariya & M M Bonsangue (eds), Theoretical Aspects of Computing \u2013 ICTAC 2024 - 21st International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15373 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 96-113, 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, Bangkok, Thailand, 25/11/2024. https://doi.org/10.1007/978-3-031-77019-7_6","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.rug.nl:openaire/d3671e57-4ece-45df-9939-413bd576166f","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/d3671e57-4ece-45df-9939-413bd576166f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Chernev, A, Hansen, H H & Kupke, C 2024, Dual Adjunction Between \u03a9-Automata and Wilke Algebra Quotients. in C Anutariya & M M Bonsangue (eds), Theoretical Aspects of Computing \u2013 ICTAC 2024 - 21st International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15373 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 96-113, 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, Bangkok, Thailand, 25/11/2024. https://doi.org/10.1007/978-3-031-77019-7_6","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1594530072","https://openalex.org/W1595607777","https://openalex.org/W2019932899","https://openalex.org/W2036628157","https://openalex.org/W2088189323","https://openalex.org/W2138769606","https://openalex.org/W2318069403","https://openalex.org/W2410691440","https://openalex.org/W2502103274","https://openalex.org/W2528624809","https://openalex.org/W2535981059","https://openalex.org/W2990200277","https://openalex.org/W3027886768","https://openalex.org/W3030426156","https://openalex.org/W4210839962","https://openalex.org/W4396571110","https://openalex.org/W6631792580"],"related_works":["https://openalex.org/W4287081207","https://openalex.org/W3177859674","https://openalex.org/W3196733042","https://openalex.org/W4323925312","https://openalex.org/W4214866974","https://openalex.org/W4293366716","https://openalex.org/W3091315172","https://openalex.org/W4294578969","https://openalex.org/W4293692741","https://openalex.org/W3106422363"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2024-11-22T00:00:00"}