{"id":"https://openalex.org/W2015360324","doi":"https://doi.org/10.2168/lmcs-3(1:4)2007","title":"Logic Meets Algebra: the Case of Regular Languages","display_name":"Logic Meets Algebra: the Case of Regular Languages","publication_year":2007,"publication_date":"2007-02-23","ids":{"openalex":"https://openalex.org/W2015360324","doi":"https://doi.org/10.2168/lmcs-3(1:4)2007","mag":"2015360324"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-3(1:4)2007","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-3(1:4)2007","pdf_url":"https://lmcs.episciences.org/2226/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/2226/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044226857","display_name":"Pascal Tesson","orcid":null},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Pascal Tesson","raw_affiliation_strings":["UNIVERSITE LAVAL"],"affiliations":[{"raw_affiliation_string":"UNIVERSITE LAVAL","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000703561","display_name":"Denis Th\u00e9rien","orcid":"https://orcid.org/0000-0002-7545-909X"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Denis Therien","raw_affiliation_strings":["School of Computer Science, McGill University"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, McGill University","institution_ids":["https://openalex.org/I5023651"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5044226857"],"corresponding_institution_ids":["https://openalex.org/I43406934"],"apc_list":null,"apc_paid":null,"fwci":4.1174,"has_fulltext":false,"cited_by_count":41,"citation_normalized_percentile":{"value":0.93686281,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"Volume 3, Issue 1","issue":null,"first_page":null,"last_page":null},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9958000183105469,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9936000108718872,"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/regular-language","display_name":"Regular language","score":0.5724226236343384},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5598174333572388},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.5292277336120605},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5020136833190918},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.47221046686172485},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.46834465861320496},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.46660563349723816},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44061899185180664},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.4354550838470459},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4269437789916992},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.4205654263496399},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.413827121257782},{"id":"https://openalex.org/keywords/algebraic-theory","display_name":"Algebraic theory","score":0.4118337333202362},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.29363784193992615},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22157150506973267},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1464025378227234}],"concepts":[{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.5724226236343384},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5598174333572388},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.5292277336120605},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5020136833190918},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.47221046686172485},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.46834465861320496},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.46660563349723816},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44061899185180664},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.4354550838470459},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4269437789916992},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.4205654263496399},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.413827121257782},{"id":"https://openalex.org/C2779782106","wikidata":"https://www.wikidata.org/wiki/Q4724020","display_name":"Algebraic theory","level":3,"score":0.4118337333202362},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29363784193992615},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22157150506973267},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1464025378227234},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.2168/lmcs-3(1:4)2007","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-3(1:4)2007","pdf_url":"https://lmcs.episciences.org/2226/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:cs/0701154","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0701154","pdf_url":"https://arxiv.org/pdf/cs/0701154","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":null,"raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.342.4385","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4385","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/cs/0701154v1.pdf","raw_type":"text"},{"id":"pmh:oai:doaj.org/article:6165d5d2ae9449f1a13de70c57f5aad9","is_oa":true,"landing_page_url":"https://doaj.org/article/6165d5d2ae9449f1a13de70c57f5aad9","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 3, Issue 1 (2007)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.2168/lmcs-3(1:4)2007","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-3(1:4)2007","pdf_url":"https://lmcs.episciences.org/2226/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G2165548363","display_name":null,"funder_award_id":"Canada","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G8284766523","display_name":null,"funder_award_id":"(NSERC)","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320321747","display_name":"Fonds Qu\u00e9b\u00e9cois de la Recherche sur la Nature et les Technologies","ror":"https://ror.org/00b9f9778"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2015360324.pdf","grobid_xml":"https://content.openalex.org/works/W2015360324.grobid-xml"},"referenced_works_count":119,"referenced_works":["https://openalex.org/W57066809","https://openalex.org/W175089750","https://openalex.org/W200063938","https://openalex.org/W587223573","https://openalex.org/W1481876218","https://openalex.org/W1489366126","https://openalex.org/W1493353905","https://openalex.org/W1494501847","https://openalex.org/W1500453128","https://openalex.org/W1504809082","https://openalex.org/W1509849361","https://openalex.org/W1515534319","https://openalex.org/W1527273489","https://openalex.org/W1529045198","https://openalex.org/W1533648993","https://openalex.org/W1536698245","https://openalex.org/W1546415021","https://openalex.org/W1582780661","https://openalex.org/W1590864168","https://openalex.org/W1600140231","https://openalex.org/W1607580303","https://openalex.org/W1619948012","https://openalex.org/W1708589781","https://openalex.org/W1749444672","https://openalex.org/W1816620374","https://openalex.org/W1865573503","https://openalex.org/W1880767675","https://openalex.org/W1884582486","https://openalex.org/W1884776593","https://openalex.org/W1966350813","https://openalex.org/W1968086929","https://openalex.org/W1970589320","https://openalex.org/W1970629906","https://openalex.org/W1972594149","https://openalex.org/W1978605527","https://openalex.org/W1980692207","https://openalex.org/W1986804393","https://openalex.org/W1988899858","https://openalex.org/W1993445050","https://openalex.org/W2002425265","https://openalex.org/W2004663163","https://openalex.org/W2010465749","https://openalex.org/W2013085432","https://openalex.org/W2013131425","https://openalex.org/W2015791837","https://openalex.org/W2017208950","https://openalex.org/W2018331071","https://openalex.org/W2020558489","https://openalex.org/W2021552369","https://openalex.org/W2023358212","https://openalex.org/W2025481592","https://openalex.org/W2026143994","https://openalex.org/W2026713735","https://openalex.org/W2027683388","https://openalex.org/W2030728433","https://openalex.org/W2031713274","https://openalex.org/W2034586951","https://openalex.org/W2036410693","https://openalex.org/W2036656440","https://openalex.org/W2037281399","https://openalex.org/W2037411979","https://openalex.org/W2039934838","https://openalex.org/W2042177219","https://openalex.org/W2045171534","https://openalex.org/W2045583484","https://openalex.org/W2045594629","https://openalex.org/W2046731783","https://openalex.org/W2047822387","https://openalex.org/W2050398281","https://openalex.org/W2050955923","https://openalex.org/W2051033728","https://openalex.org/W2051418283","https://openalex.org/W2052706627","https://openalex.org/W2053510959","https://openalex.org/W2055403716","https://openalex.org/W2060270693","https://openalex.org/W2065599266","https://openalex.org/W2066702102","https://openalex.org/W2070678975","https://openalex.org/W2071784365","https://openalex.org/W2079162006","https://openalex.org/W2079443329","https://openalex.org/W2089108410","https://openalex.org/W2095996785","https://openalex.org/W2098171268","https://openalex.org/W2104952158","https://openalex.org/W2111355708","https://openalex.org/W2116250539","https://openalex.org/W2124257703","https://openalex.org/W2126243304","https://openalex.org/W2126397088","https://openalex.org/W2130766616","https://openalex.org/W2131159347","https://openalex.org/W2131742729","https://openalex.org/W2143340377","https://openalex.org/W2144337654","https://openalex.org/W2151766654","https://openalex.org/W2162199371","https://openalex.org/W2167954650","https://openalex.org/W2170097596","https://openalex.org/W2170299515","https://openalex.org/W2294009094","https://openalex.org/W2318841766","https://openalex.org/W2407362099","https://openalex.org/W2492759008","https://openalex.org/W2498945124","https://openalex.org/W2578842361","https://openalex.org/W2904842705","https://openalex.org/W2912226968","https://openalex.org/W2951818326","https://openalex.org/W4205178514","https://openalex.org/W4210321366","https://openalex.org/W4214836455","https://openalex.org/W4238852104","https://openalex.org/W4240781210","https://openalex.org/W4256691759","https://openalex.org/W4285719527","https://openalex.org/W4298234521","https://openalex.org/W4299651338"],"related_works":["https://openalex.org/W1604222671","https://openalex.org/W2053299670","https://openalex.org/W2017318974","https://openalex.org/W2131290392","https://openalex.org/W239777909","https://openalex.org/W4299939274","https://openalex.org/W4249711300","https://openalex.org/W4376490184","https://openalex.org/W104024513","https://openalex.org/W230768091"],"abstract_inverted_index":{"The":[0,42],"study":[1],"of":[2,13,20,35,45,53,73,90,96,101,111,136,138,145],"finite":[3],"automata":[4,48],"and":[5,15,124,134],"regular":[6,22,91],"languages":[7,23,92],"is":[8,49],"a":[9,127],"privileged":[10],"meeting":[11],"point":[12,44],"algebra":[14],"logic.":[16],"Since":[17],"the":[18,33,62,67,71,84,88,112,120,143],"work":[19],"Buchi,":[21],"have":[24],"been":[25],"classified":[26],"according":[27],"to":[28,39],"their":[29,102],"descriptive":[30],"complexity,":[31],"i.e.":[32],"type":[34],"logical":[36,80,94,132],"formalism":[37],"required":[38],"define":[40],"them.":[41],"algebraic":[43,59,99],"view":[46],"on":[47,126,148],"an":[50],"essential":[51],"complement":[52],"this":[54,117],"classification:":[55],"by":[56],"providing":[57],"alternative,":[58],"characterizations":[60],"for":[61,70],"classes,":[63],"it":[64],"often":[65],"yields":[66],"only":[68],"opportunity":[69],"design":[72],"algorithms":[74],"that":[75,109],"decide":[76],"expressibility":[77,89],"in":[78,93,116],"some":[79],"fragment.":[81],"We":[82,140],"survey":[83],"existing":[85],"results":[86,115],"relating":[87],"fragments":[95],"MSO[S]":[97],"with":[98],"properties":[100],"minimal":[103],"automata.":[104],"In":[105],"particular,":[106],"we":[107],"show":[108],"many":[110],"best":[113],"known":[114],"area":[118],"share":[119],"same":[121],"underlying":[122],"mechanics":[123],"rely":[125],"very":[128],"strong":[129],"relation":[130],"between":[131],"substitutions":[133],"block-products":[135],"pseudovarieties":[137],"monoid.":[139],"also":[141],"explain":[142],"impact":[144],"these":[146],"connections":[147],"circuit":[149],"complexity":[150],"theory.":[151]},"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}