{"id":"https://openalex.org/W2068462394","doi":"https://doi.org/10.1016/s1571-0661(04)80534-6","title":"Uniform Solution of Parity Games on Prefix-Recognizable Graphs","display_name":"Uniform Solution of Parity Games on Prefix-Recognizable Graphs","publication_year":2003,"publication_date":"2003-02-01","ids":{"openalex":"https://openalex.org/W2068462394","doi":"https://doi.org/10.1016/s1571-0661(04)80534-6","mag":"2068462394"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80534-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80534-6","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80534-6","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024963732","display_name":"Thierry Cachat","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Thierry Cachat","raw_affiliation_strings":["Lehrstuhl f\u00fcr Informatik VII, RWTH, D-52056 Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"Lehrstuhl f\u00fcr Informatik VII, RWTH, D-52056 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5024963732"],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":5.6181,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.95830839,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"68","issue":"6","first_page":"71","last_page":"84"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9801999926567078,"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/T11574","display_name":"Artificial Intelligence in Games","score":0.9801999926567078,"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/T11031","display_name":"Game Theory and Applications","score":0.9696000218391418,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9627000093460083,"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/prefix","display_name":"Prefix","score":0.7811372876167297},{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.6167018413543701},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5273894667625427},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.48166215419769287},{"id":"https://openalex.org/keywords/exptime","display_name":"EXPTIME","score":0.4668850004673004},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4384036064147949},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.40117406845092773},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1631980836391449},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.1615862250328064},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.14286673069000244}],"concepts":[{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.7811372876167297},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.6167018413543701},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5273894667625427},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.48166215419769287},{"id":"https://openalex.org/C56049555","wikidata":"https://www.wikidata.org/wiki/Q1276570","display_name":"EXPTIME","level":4,"score":0.4668850004673004},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4384036064147949},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40117406845092773},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1631980836391449},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.1615862250328064},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.14286673069000244},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C109214941","wikidata":"https://www.wikidata.org/wiki/Q18334","display_name":"Particle physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80534-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80534-6","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80534-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80534-6","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W260642817","https://openalex.org/W1514240489","https://openalex.org/W1517623691","https://openalex.org/W1568797836","https://openalex.org/W1581736958","https://openalex.org/W1809956864","https://openalex.org/W1972164030","https://openalex.org/W2017759899","https://openalex.org/W2124876285","https://openalex.org/W2170933628","https://openalex.org/W2268014521","https://openalex.org/W3037477934","https://openalex.org/W4245413858","https://openalex.org/W6609741714","https://openalex.org/W6630963724","https://openalex.org/W6634124759","https://openalex.org/W6635053724","https://openalex.org/W6638468172","https://openalex.org/W6654520604","https://openalex.org/W6678534848","https://openalex.org/W6685257347"],"related_works":["https://openalex.org/W3196321793","https://openalex.org/W3080705045","https://openalex.org/W2142481367","https://openalex.org/W2385527937","https://openalex.org/W2005880840","https://openalex.org/W4385305499","https://openalex.org/W3173108628","https://openalex.org/W2507465767","https://openalex.org/W2373597927","https://openalex.org/W1506542859"],"abstract_inverted_index":{"Walukiewicz":[0],"gave":[1],"in":[2],"1996":[3],"a":[4,29,33,41],"solution":[5,43],"for":[6,44],"parity":[7,45],"games":[8,46],"on":[9],"pushdown":[10,17],"graphs:":[11],"he":[12],"proved":[13,66],"the":[14,21,54,63],"existence":[15],"of":[16,37,48,62],"strategies":[18,73],"and":[19,32,52,71],"determined":[20],"winner":[22],"with":[23],"an":[24],"EXPTIME":[25],"procedure.":[26],"We":[27],"give":[28],"new":[30,34],"presentation":[31],"algorithmic":[35],"proof":[36],"these":[38],"results,":[39],"obtain":[40],"uniform":[42],"(independent":[47],"their":[49],"initial":[50],"configuration),":[51],"extend":[53],"results":[55],"to":[56,67],"prefix-recognizable":[57],"graphs.":[58],"The":[59],"winning":[60,72],"regions":[61],"players":[64],"are":[65,74],"be":[68],"effectively":[69],"regular,":[70],"computed.":[75]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-07T14:57:38.498316","created_date":"2025-10-10T00:00:00"}