{"id":"https://openalex.org/W4405949281","doi":"https://doi.org/10.1142/s0129054125410011","title":"Universal First-Order Quantification over Automata","display_name":"Universal First-Order Quantification over Automata","publication_year":2024,"publication_date":"2024-12-31","ids":{"openalex":"https://openalex.org/W4405949281","doi":"https://doi.org/10.1142/s0129054125410011"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054125410011","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054125410011","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078094550","display_name":"Bernard Boigelot","orcid":"https://orcid.org/0009-0009-4721-3824"},"institutions":[{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Bernard Boigelot","raw_affiliation_strings":["Montefiore Institute, University of Li\u00e8ge, B28, 4000 Li\u00e8ge, Belgium"],"raw_orcid":"https://orcid.org/0009-0009-4721-3824","affiliations":[{"raw_affiliation_string":"Montefiore Institute, University of Li\u00e8ge, B28, 4000 Li\u00e8ge, Belgium","institution_ids":["https://openalex.org/I157674565"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060799584","display_name":"Pascal Fontaine","orcid":"https://orcid.org/0000-0003-4700-6031"},"institutions":[{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Pascal Fontaine","raw_affiliation_strings":["Montefiore Institute, University of Li\u00e8ge, B28, 4000 Li\u00e8ge, Belgium"],"raw_orcid":"https://orcid.org/0000-0003-4700-6031","affiliations":[{"raw_affiliation_string":"Montefiore Institute, University of Li\u00e8ge, B28, 4000 Li\u00e8ge, Belgium","institution_ids":["https://openalex.org/I157674565"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5092120637","display_name":"Baptiste Vergain","orcid":"https://orcid.org/0009-0003-5545-4579"},"institutions":[{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Baptiste Vergain","raw_affiliation_strings":["Montefiore Institute, University of Li\u00e8ge, B28, 4000 Li\u00e8ge, Belgium"],"raw_orcid":"https://orcid.org/0009-0003-5545-4579","affiliations":[{"raw_affiliation_string":"Montefiore Institute, University of Li\u00e8ge, B28, 4000 Li\u00e8ge, Belgium","institution_ids":["https://openalex.org/I157674565"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078094550"],"corresponding_institution_ids":["https://openalex.org/I157674565"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22016081,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"37","issue":"01","first_page":"5","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9957000017166138,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9957000017166138,"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/T10142","display_name":"Formal Methods in Verification","score":0.9908000230789185,"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.986299991607666,"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/automaton","display_name":"Automaton","score":0.5483785271644592},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5135393142700195},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5052359700202942},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3798457980155945},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3759384751319885},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.329067587852478}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5483785271644592},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5135393142700195},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5052359700202942},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3798457980155945},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3759384751319885},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.329067587852478},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","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":1,"locations":[{"id":"doi:10.1142/s0129054125410011","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054125410011","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8199999928474426,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G5878913165","display_name":null,"funder_award_id":"T.W028.23","funder_id":"https://openalex.org/F4320321390","funder_display_name":"Fonds De La Recherche Scientifique - FNRS"}],"funders":[{"id":"https://openalex.org/F2471752397","display_name":"Amazon Research Awards","ror":null},{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1560050980","https://openalex.org/W1580868918","https://openalex.org/W1822301642","https://openalex.org/W1966686249","https://openalex.org/W1980102547","https://openalex.org/W2031592188","https://openalex.org/W2031648800","https://openalex.org/W2052987729","https://openalex.org/W2056871658","https://openalex.org/W2094912129","https://openalex.org/W2143338666","https://openalex.org/W4205178514"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2962838298","https://openalex.org/W2124122503"],"abstract_inverted_index":{"Deciding":[0],"formulas":[1,123],"that":[2,32,56],"mix":[3],"arithmetic":[4,141],"and":[5,43,68],"uninterpreted":[6],"predicates":[7],"is":[8,55,59,102],"of":[9,36,38,86,93,99,112,120],"practical":[10,84],"interest,":[11],"notably":[12],"for":[13,19,107,122,139],"applications":[14],"in":[15,25,73,128],"verification.":[16],"One":[17],"approach":[18],"obtaining":[20],"a":[21,50,63],"decision":[22,137],"procedure":[23],"consists":[24],"building":[26],"by":[27,62],"structural":[28],"induction":[29],"an":[30,105],"automaton":[31,48],"recognizes":[33],"the":[34,39,83,91,110,133],"set":[35],"models":[37,75],"formula":[40],"under":[41],"analysis,":[42],"then":[44],"testing":[45],"whether":[46],"this":[47,81,87,100],"accepts":[49],"non-empty":[51],"language.":[52],"A":[53],"drawback":[54],"universal":[57,113],"quantification":[58,67],"usually":[60],"handled":[61],"reduction":[64],"to":[65,90,103,135],"existential":[66],"complementation.":[69],"For":[70],"logical":[71],"formalisms":[72],"which":[74],"are":[76],"encoded":[77,127],"as":[78],"infinite":[79],"words,":[80],"hinders":[82],"use":[85],"method":[88],"due":[89],"difficulty":[92],"complementing":[94],"infinite-word":[95],"automata.":[96],"The":[97],"contribution":[98],"paper":[101],"introduce":[104],"algorithm":[106],"directly":[108],"computing":[109],"effect":[111],"first-order":[114],"quantifiers":[115],"on":[116],"automata":[117],"recognizing":[118],"sets":[119],"models,":[121],"involving":[124],"natural":[125],"numbers":[126],"unary":[129],"notation.":[130],"This":[131],"paves":[132],"way":[134],"implementable":[136],"procedures":[138],"various":[140],"theories.":[142]},"counts_by_year":[],"updated_date":"2026-02-14T06:23:00.392402","created_date":"2025-10-10T00:00:00"}