{"id":"https://openalex.org/W4226346869","doi":"https://doi.org/10.1145/3531130.3533371","title":"The Regular Languages of First-Order Logic with One Alternation","display_name":"The Regular Languages of First-Order Logic with One Alternation","publication_year":2022,"publication_date":"2022-08-02","ids":{"openalex":"https://openalex.org/W4226346869","doi":"https://doi.org/10.1145/3531130.3533371"},"language":"en","primary_location":{"id":"doi:10.1145/3531130.3533371","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3531130.3533371","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/20.500.12210/79958","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033792835","display_name":"Corentin Barloy","orcid":"https://orcid.org/0000-0001-5420-8761"},"institutions":[{"id":"https://openalex.org/I2279609970","display_name":"Universit\u00e9 de Lille","ror":"https://ror.org/02kzqn938","country_code":"FR","type":"education","lineage":["https://openalex.org/I2279609970"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Corentin Barloy","raw_affiliation_strings":["Universite de Lille, France"],"affiliations":[{"raw_affiliation_string":"Universite de Lille, France","institution_ids":["https://openalex.org/I2279609970"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064763023","display_name":"Micha\u00ebl Cadilhac","orcid":"https://orcid.org/0000-0001-9828-9129"},"institutions":[{"id":"https://openalex.org/I118353179","display_name":"DePaul University","ror":"https://ror.org/04xtx5t16","country_code":"US","type":"education","lineage":["https://openalex.org/I118353179"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Cadilhac","raw_affiliation_strings":["DePaul University, USA"],"affiliations":[{"raw_affiliation_string":"DePaul University, USA","institution_ids":["https://openalex.org/I118353179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021785658","display_name":"Charles Paperman","orcid":"https://orcid.org/0000-0002-6658-5238"},"institutions":[{"id":"https://openalex.org/I2279609970","display_name":"Universit\u00e9 de Lille","ror":"https://ror.org/02kzqn938","country_code":"FR","type":"education","lineage":["https://openalex.org/I2279609970"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Charles Paperman","raw_affiliation_strings":["Universite de Lille, France"],"affiliations":[{"raw_affiliation_string":"Universite de Lille, France","institution_ids":["https://openalex.org/I2279609970"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023740993","display_name":"Thomas Zeume","orcid":"https://orcid.org/0000-0002-5186-7507"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Zeume","raw_affiliation_strings":["Ruhr-Universitaet Bochum, Germany"],"affiliations":[{"raw_affiliation_string":"Ruhr-Universitaet Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5033792835"],"corresponding_institution_ids":["https://openalex.org/I2279609970"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12917088,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13497","display_name":"Hermeneutics and Narrative Identity","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13497","display_name":"Hermeneutics and Narrative Identity","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13695","display_name":"Aging, Elder Care, and Social Issues","score":0.9749000072479248,"subfield":{"id":"https://openalex.org/subfields/3600","display_name":"General Health Professions"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T13099","display_name":"Health, Medicine and Society","score":0.95660001039505,"subfield":{"id":"https://openalex.org/subfields/3600","display_name":"General Health Professions"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/alternation","display_name":"Alternation (linguistics)","score":0.6803433299064636},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.6483674049377441},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6045787930488586},{"id":"https://openalex.org/keywords/sigma","display_name":"Sigma","score":0.6031829118728638},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.5262966156005859},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5176711082458496},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.49731114506721497},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.4958685338497162},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.4900470972061157},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4847238063812256},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.43156594038009644},{"id":"https://openalex.org/keywords/first-order","display_name":"First order","score":0.42178183794021606},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4080595374107361},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.25975194573402405},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.11921828985214233},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08678242564201355},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.0826345682144165},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.08008229732513428},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.07719916105270386},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06761211156845093}],"concepts":[{"id":"https://openalex.org/C26826806","wikidata":"https://www.wikidata.org/wiki/Q438358","display_name":"Alternation (linguistics)","level":2,"score":0.6803433299064636},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6483674049377441},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6045787930488586},{"id":"https://openalex.org/C2778049214","wikidata":"https://www.wikidata.org/wiki/Q7512234","display_name":"Sigma","level":2,"score":0.6031829118728638},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.5262966156005859},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5176711082458496},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.49731114506721497},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.4958685338497162},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.4900470972061157},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4847238063812256},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.43156594038009644},{"id":"https://openalex.org/C2987642246","wikidata":"https://www.wikidata.org/wiki/Q5452196","display_name":"First order","level":2,"score":0.42178183794021606},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4080595374107361},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.25975194573402405},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.11921828985214233},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08678242564201355},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0826345682144165},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.08008229732513428},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.07719916105270386},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06761211156845093},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3531130.3533371","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3531130.3533371","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03934389v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03934389","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"LICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Ha\u00effa, Israel. pp.1-11, ⟨10.1145/3531130.3533371⟩","raw_type":"Conference papers"},{"id":"pmh:oai:lilloa.univ-lille.fr:20.500.12210/79958","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12210/79958","pdf_url":null,"source":{"id":"https://openalex.org/S4306402203","display_name":"LillOA (Universit\u00e9 de Lille (University Of Lille))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210123514","host_organization_name":"Centre d'Etudes en Civilisations, Langues et Litt\u00e9ratures Etrang\u00e8res","host_organization_lineage":["https://openalex.org/I4210123514"],"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":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:lilloa.univ-lille.fr:20.500.12210/79958","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12210/79958","pdf_url":null,"source":{"id":"https://openalex.org/S4306402203","display_name":"LillOA (Universit\u00e9 de Lille (University Of Lille))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210123514","host_organization_name":"Centre d'Etudes en Civilisations, Langues et Litt\u00e9ratures Etrang\u00e8res","host_organization_lineage":["https://openalex.org/I4210123514"],"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":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W200063938","https://openalex.org/W1498408829","https://openalex.org/W1970755596","https://openalex.org/W1972594149","https://openalex.org/W1982818703","https://openalex.org/W1984645675","https://openalex.org/W1996359785","https://openalex.org/W2010465749","https://openalex.org/W2026713735","https://openalex.org/W2034847619","https://openalex.org/W2037281399","https://openalex.org/W2038638040","https://openalex.org/W2042177219","https://openalex.org/W2060270693","https://openalex.org/W2065599266","https://openalex.org/W2078174437","https://openalex.org/W2078875286","https://openalex.org/W2079175807","https://openalex.org/W2080210666","https://openalex.org/W2096648167","https://openalex.org/W2125034550","https://openalex.org/W2167785416","https://openalex.org/W2914203140","https://openalex.org/W2952682936","https://openalex.org/W2963241423","https://openalex.org/W4205551952","https://openalex.org/W4212992501","https://openalex.org/W4240781210"],"related_works":["https://openalex.org/W41478491","https://openalex.org/W756594","https://openalex.org/W41590842","https://openalex.org/W137293","https://openalex.org/W55833979","https://openalex.org/W37504111","https://openalex.org/W26741302","https://openalex.org/W35195178","https://openalex.org/W12297171","https://openalex.org/W83406561"],"abstract_inverted_index":{"The":[0,93],"regular":[1,28],"languages":[2,60],"with":[3,11,30,61,87],"a":[4,27,31,62,105,112],"neutral":[5,32,63],"letter":[6],"expressible":[7],"in":[8,71,100],"first-order":[9],"logic":[10],"one":[12,110],"alternation":[13],"are":[14,91,107],"characterized.":[15],"Specifically,":[16],"it":[17],"is":[18,36],"shown":[19],"that":[20,41,49],"if":[21],"an":[22,37],"arbitrary":[23],"\u03a32":[24,39,58],"formula":[25,40],"defines":[26],"language":[29,106],"letter,":[33,64],"then":[34],"there":[35],"equivalent":[38],"only":[42],"uses":[43],"the":[44,50,65,69,78,96],"order":[45],"predicate.":[46],"This":[47],"shows":[48],"so-called":[51],"Central":[52],"Conjecture":[53,70],"of":[54,95,114],"Straubing":[55],"holds":[56],"for":[57],"over":[59],"first":[66],"progress":[67],"on":[68],"more":[72],"than":[73],"20":[74],"years.":[75],"To":[76],"show":[77],"characterization,":[79],"lower":[80],"bounds":[81],"against":[82],"polynomial-size":[83],"depth-3":[84],"Boolean":[85],"circuits":[86],"constant":[88],"top":[89],"fan-in":[90],"developed.":[92],"heart":[94],"combinatorial":[97],"argument":[98],"resides":[99],"studying":[101],"how":[102],"positions":[103],"within":[104],"determined":[108],"from":[109],"another,":[111],"technique":[113],"independent":[115],"interest.":[116]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}