{"id":"https://openalex.org/W2065930159","doi":"https://doi.org/10.1142/s0129054108005802","title":"A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS","display_name":"A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS","publication_year":2008,"publication_date":"2008-06-01","ids":{"openalex":"https://openalex.org/W2065930159","doi":"https://doi.org/10.1142/s0129054108005802","mag":"2065930159"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054108005802","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054108005802","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/A5054093863","display_name":"Volker Diekert","orcid":"https://orcid.org/0000-0002-5994-3762"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"VOLKER DIEKERT","raw_affiliation_strings":["FMI, Universit\u00e4t Stuttgart, Universit\u00e4tsstr. 38, D-70569 Stuttgart, Germany"],"affiliations":[{"raw_affiliation_string":"FMI, Universit\u00e4t Stuttgart, Universit\u00e4tsstr. 38, D-70569 Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064833291","display_name":"Paul Gastin","orcid":"https://orcid.org/0000-0002-1313-7722"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"PAUL GASTIN","raw_affiliation_strings":["LSV, ENS de Cachan & CNRS, 61, Av. du Pr\u00e9sident Wilson, F-94235 Cachan Cedex, France"],"affiliations":[{"raw_affiliation_string":"LSV, ENS de Cachan & CNRS, 61, Av. du Pr\u00e9sident Wilson, F-94235 Cachan Cedex, France","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055386769","display_name":"Manfred Kufleitner","orcid":"https://orcid.org/0000-0003-3869-416X"},"institutions":[{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"MANFRED KUFLEITNER","raw_affiliation_strings":["LaBRI, Universit\u00e9 de Bordeaux & CNRS, 351, Cours de la Lib\u00e9ration, F-33405 Talence Cedex, France"],"affiliations":[{"raw_affiliation_string":"LaBRI, Universit\u00e9 de Bordeaux & CNRS, 351, Cours de la Lib\u00e9ration, F-33405 Talence Cedex, France","institution_ids":["https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210160189","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5054093863"],"corresponding_institution_ids":["https://openalex.org/I100066346"],"apc_list":null,"apc_paid":null,"fwci":7.3973,"has_fulltext":false,"cited_by_count":74,"citation_normalized_percentile":{"value":0.97262398,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"19","issue":"03","first_page":"513","last_page":"548"},"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.9923999905586243,"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/T12029","display_name":"DNA and Biological Computing","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.8374074101448059},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7532525658607483},{"id":"https://openalex.org/keywords/alternation","display_name":"Alternation (linguistics)","score":0.7176505923271179},{"id":"https://openalex.org/keywords/aperiodic-graph","display_name":"Aperiodic graph","score":0.6668331027030945},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6606285572052002},{"id":"https://openalex.org/keywords/factorization","display_name":"Factorization","score":0.5926037430763245},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5293840765953064},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.520070493221283},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.48084956407546997},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46025100350379944},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.43982887268066406},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3304826021194458},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.27364683151245117},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2134266495704651},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18088731169700623}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8374074101448059},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7532525658607483},{"id":"https://openalex.org/C26826806","wikidata":"https://www.wikidata.org/wiki/Q438358","display_name":"Alternation (linguistics)","level":2,"score":0.7176505923271179},{"id":"https://openalex.org/C104247578","wikidata":"https://www.wikidata.org/wiki/Q4779368","display_name":"Aperiodic graph","level":2,"score":0.6668331027030945},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6606285572052002},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.5926037430763245},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5293840765953064},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.520070493221283},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.48084956407546997},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46025100350379944},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.43982887268066406},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3304826021194458},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.27364683151245117},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2134266495704651},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18088731169700623},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","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.1142/s0129054108005802","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054108005802","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.144.807","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.807","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.informatik.uni-stuttgart.de/fmi/ti/mitarbeiter/Kufleitner/publications/dgk08ijfcs.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.218.1427","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.1427","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DGK-ijfcs08.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/15","display_name":"Life in Land","score":0.6700000166893005}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":105,"referenced_works":["https://openalex.org/W3242420","https://openalex.org/W35599327","https://openalex.org/W200063938","https://openalex.org/W587223573","https://openalex.org/W1481662698","https://openalex.org/W1490858874","https://openalex.org/W1494501847","https://openalex.org/W1508466008","https://openalex.org/W1508642950","https://openalex.org/W1514324498","https://openalex.org/W1521674074","https://openalex.org/W1533648993","https://openalex.org/W1542543925","https://openalex.org/W1560939112","https://openalex.org/W1561212557","https://openalex.org/W1570445666","https://openalex.org/W1588819891","https://openalex.org/W1597502208","https://openalex.org/W1600140231","https://openalex.org/W1612453857","https://openalex.org/W1619948012","https://openalex.org/W1663644375","https://openalex.org/W1708589781","https://openalex.org/W1749444672","https://openalex.org/W1816620374","https://openalex.org/W1884582486","https://openalex.org/W1976025900","https://openalex.org/W1978605527","https://openalex.org/W1980692207","https://openalex.org/W1985780795","https://openalex.org/W1991376038","https://openalex.org/W1997358966","https://openalex.org/W2003227046","https://openalex.org/W2004532354","https://openalex.org/W2013085432","https://openalex.org/W2015360324","https://openalex.org/W2018073184","https://openalex.org/W2019522567","https://openalex.org/W2020558489","https://openalex.org/W2021552369","https://openalex.org/W2026713735","https://openalex.org/W2028504862","https://openalex.org/W2032853624","https://openalex.org/W2034847619","https://openalex.org/W2037688028","https://openalex.org/W2038638040","https://openalex.org/W2039934838","https://openalex.org/W2042177219","https://openalex.org/W2044010368","https://openalex.org/W2047822387","https://openalex.org/W2048435760","https://openalex.org/W2051033728","https://openalex.org/W2052706627","https://openalex.org/W2053510959","https://openalex.org/W2060549391","https://openalex.org/W2065599266","https://openalex.org/W2066702102","https://openalex.org/W2076508310","https://openalex.org/W2076872551","https://openalex.org/W2078174437","https://openalex.org/W2079162006","https://openalex.org/W2081443805","https://openalex.org/W2083946433","https://openalex.org/W2089401790","https://openalex.org/W2095131801","https://openalex.org/W2095996785","https://openalex.org/W2098171268","https://openalex.org/W2106878575","https://openalex.org/W2116250539","https://openalex.org/W2119397055","https://openalex.org/W2119414381","https://openalex.org/W2121785450","https://openalex.org/W2122058195","https://openalex.org/W2126397088","https://openalex.org/W2127493538","https://openalex.org/W2131159347","https://openalex.org/W2131742729","https://openalex.org/W2132750992","https://openalex.org/W2167954650","https://openalex.org/W2170097596","https://openalex.org/W2222913098","https://openalex.org/W2244646492","https://openalex.org/W2315234012","https://openalex.org/W2315689691","https://openalex.org/W2318841766","https://openalex.org/W2330548796","https://openalex.org/W2395891450","https://openalex.org/W2487186522","https://openalex.org/W2656886257","https://openalex.org/W2904842705","https://openalex.org/W2912226968","https://openalex.org/W2913344232","https://openalex.org/W2970237889","https://openalex.org/W3082353674","https://openalex.org/W3102693153","https://openalex.org/W3105177756","https://openalex.org/W3157252607","https://openalex.org/W4205178514","https://openalex.org/W4210981569","https://openalex.org/W4213219346","https://openalex.org/W4285719527","https://openalex.org/W4298234521","https://openalex.org/W4299651338","https://openalex.org/W6602213625","https://openalex.org/W6663007966"],"related_works":["https://openalex.org/W3125214380","https://openalex.org/W285322218","https://openalex.org/W1763969474","https://openalex.org/W3155081569","https://openalex.org/W4287203965","https://openalex.org/W2527182206","https://openalex.org/W2241575141","https://openalex.org/W2776959647","https://openalex.org/W2065930159","https://openalex.org/W2950115199"],"abstract_inverted_index":{"We":[0,31,55,85],"consider":[1],"fragments":[2],"of":[3,20,27,39,51,69,90],"first-order":[4,14],"logic":[5,15],"over":[6],"finite":[7],"words.":[8],"In":[9],"particular,":[10],"we":[11,47,63],"deal":[12],"with":[13,16,23],"a":[17,45,88],"restricted":[18,96],"number":[19],"variables":[21],"and":[22,62,76,104],"the":[24,28,33,52,70],"lower":[25],"levels":[26],"alternation":[29],"hierarchy.":[30],"use":[32],"algebraic":[34],"approach":[35],"to":[36,73,97],"show":[37],"decidability":[38],"expressibility":[40],"within":[41],"these":[42],"fragments.":[43,54],"As":[44],"byproduct,":[46],"survey":[48],"several":[49],"characterizations":[50,61],"respective":[53],"give":[56,87],"complete":[57],"proofs":[58,71],"for":[59,106],"all":[60,65],"provide":[64],"necessary":[66],"background.":[67],"Some":[68],"seem":[72],"be":[74,82],"new":[75],"simpler":[77,103],"than":[78],"those":[79],"which":[80],"can":[81],"found":[83],"elsewhere.":[84],"also":[86],"proof":[89],"Simon's":[91],"theorem":[92],"on":[93],"factorization":[94],"forests":[95],"aperiodic":[98],"monoids":[99],"because":[100],"this":[101],"is":[102],"sufficient":[105],"our":[107],"purpose.":[108]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}