{"id":"https://openalex.org/W2024823088","doi":"https://doi.org/10.1145/2287718.2287719","title":"The dynamic complexity of formal languages","display_name":"The dynamic complexity of formal languages","publication_year":2012,"publication_date":"2012-08-01","ids":{"openalex":"https://openalex.org/W2024823088","doi":"https://doi.org/10.1145/2287718.2287719","mag":"2024823088"},"language":"en","primary_location":{"id":"doi:10.1145/2287718.2287719","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2287718.2287719","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://drops.dagstuhl.de/opus/volltexte/2009/1829","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089107114","display_name":"Wouter Gelade","orcid":null},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Wouter Gelade","raw_affiliation_strings":["Hasselt University and Transnational University of Limburg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hasselt University and Transnational University of Limburg","institution_ids":["https://openalex.org/I878454856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069367728","display_name":"Marcel Marquardt","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marcel Marquardt","raw_affiliation_strings":["Technische Universit\u00e4t Dortmund"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dortmund","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031710345","display_name":"Thomas Schwentick","orcid":"https://orcid.org/0000-0002-1062-922X"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Schwentick","raw_affiliation_strings":["Technische Universit\u00e4t Dortmund"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dortmund","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2975,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.89405246,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"13","issue":"3","first_page":"1","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9998000264167786,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9998000264167786,"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/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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/T12029","display_name":"DNA and Biological Computing","score":0.9962000250816345,"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/precomputation","display_name":"Precomputation","score":0.7976696491241455},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.6521459817886353},{"id":"https://openalex.org/keywords/context-free-language","display_name":"Context-free language","score":0.6178110241889954},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.5544421672821045},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5192882418632507},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49300405383110046},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4765394628047943},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.4684733748435974},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.42150089144706726},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39497920870780945},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38631367683410645},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3205797076225281},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.23119407892227173},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.183238685131073},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.13803380727767944}],"concepts":[{"id":"https://openalex.org/C159379195","wikidata":"https://www.wikidata.org/wiki/Q7239568","display_name":"Precomputation","level":3,"score":0.7976696491241455},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.6521459817886353},{"id":"https://openalex.org/C198838072","wikidata":"https://www.wikidata.org/wiki/Q729271","display_name":"Context-free language","level":3,"score":0.6178110241889954},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.5544421672821045},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5192882418632507},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49300405383110046},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4765394628047943},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.4684733748435974},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.42150089144706726},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39497920870780945},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38631367683410645},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3205797076225281},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.23119407892227173},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.183238685131073},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.13803380727767944},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/2287718.2287719","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2287718.2287719","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.214.2954","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.214.2954","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://drops.dagstuhl.de/portals/STACS09/fulltext_link.php?id=1829","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.248.6647","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.248.6647","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/0812.1915v1.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.399.9510","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.399.9510","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal.archives-ouvertes.fr/docs/00/35/97/55/PDF/40-gelade.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:inria-00359755v1","is_oa":false,"landing_page_url":"https://inria.hal.science/inria-00359755","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.481-492","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:documentserver.uhasselt.be:1942/14309","is_oa":false,"landing_page_url":"http://hdl.handle.net/1942/14309","pdf_url":null,"source":{"id":"https://openalex.org/S4306401926","display_name":"Document Server@UHasselt (UHasselt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I878454856","host_organization_name":"Hasselt University","host_organization_lineage":["https://openalex.org/I878454856"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:documentserver.uhasselt.be:1942/9918","is_oa":true,"landing_page_url":"http://drops.dagstuhl.de/opus/volltexte/2009/1829","pdf_url":null,"source":{"id":"https://openalex.org/S4306401926","display_name":"Document Server@UHasselt (UHasselt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I878454856","host_organization_name":"Hasselt University","host_organization_lineage":["https://openalex.org/I878454856"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:documentserver.uhasselt.be:1942/9918","is_oa":true,"landing_page_url":"http://drops.dagstuhl.de/opus/volltexte/2009/1829","pdf_url":null,"source":{"id":"https://openalex.org/S4306401926","display_name":"Document Server@UHasselt (UHasselt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I878454856","host_organization_name":"Hasselt University","host_organization_lineage":["https://openalex.org/I878454856"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","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":19,"referenced_works":["https://openalex.org/W120571988","https://openalex.org/W133393701","https://openalex.org/W1490189322","https://openalex.org/W1507528661","https://openalex.org/W1980634162","https://openalex.org/W2011697756","https://openalex.org/W2014729492","https://openalex.org/W2041298014","https://openalex.org/W2045841926","https://openalex.org/W2069266589","https://openalex.org/W2078423836","https://openalex.org/W2079668749","https://openalex.org/W2093747132","https://openalex.org/W2106170712","https://openalex.org/W2150825551","https://openalex.org/W2167887041","https://openalex.org/W2366029216","https://openalex.org/W2614633957","https://openalex.org/W4210321366"],"related_works":["https://openalex.org/W2613180196","https://openalex.org/W1484058952","https://openalex.org/W2092901979","https://openalex.org/W3120475523","https://openalex.org/W2951100677","https://openalex.org/W2077359248","https://openalex.org/W2024823088","https://openalex.org/W4249711300","https://openalex.org/W1965367600","https://openalex.org/W2098278777"],"abstract_inverted_index":{"The":[0,23],"article":[1],"investigates":[2],"the":[3,6,47,56,118,149],"power":[4],"of":[5,103,121],"dynamic":[7,119],"complexity":[8,120],"classes":[9,26],"D":[10,13,17,51,69,74,78,82,97,114,145,160],"yn":[11,14,18,52,70,75,79,83,98,115,146,161],"FO,":[12],"QF,":[15],"and":[16,38,72,81,100,127],"PROP":[19,53,71,76],"over":[20],"string":[21],"languages.":[22],"latter":[24],"two":[25],"contain":[27],"problems":[28],"that":[29,46,89],"can":[30,93,156],"be":[31,94,157],"maintained":[32,95,158],"using":[33],"quantifier-free":[34],"first-order":[35,137,154],"updates,":[36],"with":[37],"without":[39],"auxiliary":[40],"functions,":[41],"respectively.":[42],"It":[43],"is":[44,87,125],"shown":[45,88],"languages":[48,124],"maintainable":[49,112,143],"in":[50,96,113,144,159],"are":[54,111,133,141],"exactly":[55],"regular":[57,122],"languages,":[58,106],"even":[59],"when":[60,163],"allowing":[61,164],"arbitrary":[62,131],"precomputation.":[63,165],"This":[64],"enables":[65],"lower":[66],"bounds":[67],"for":[68,107],"separates":[73],"from":[77],"QF":[80,162],"FO.":[84],"Further,":[85],"it":[86],"any":[90,152],"context-free":[91,105],"language":[92],"FO":[99],"a":[101],"number":[102],"specific":[104],"example":[108],"all":[109],"Dyck-languages,":[110],"QF.":[116],"Furthermore,":[117],"tree":[123],"investigated":[126],"some":[128],"results":[129],"concerning":[130],"structures":[132],"obtained:":[134],"There":[135],"exist":[136],"definable":[138],"properties":[139],"which":[140],"not":[142],"PROP.":[147],"On":[148],"other":[150],"hand,":[151],"existential":[153],"property":[155]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}