乐胖代购免代理版

{"id":"https://openalex.org/W4200481391","doi":"https://doi.org/10.4204/eptcs.351.17","title":"A Compositional Approach to Parity Games","display_name":"A Compositional Approach to Parity Games","publication_year":2021,"publication_date":"2021-12-27","ids":{"openalex":"https://openalex.org/W4200481391","doi":"https://doi.org/10.4204/eptcs.351.17"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/2112.14058","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/2112.14058","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101337045","display_name":"Kazuki Watanabe","orcid":null},"institutions":[{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]},{"id":"https://openalex.org/I4387152154","display_name":"Japanese-French Laboratory for Informatics","ror":"https://ror.org/007xn7v02","country_code":null,"type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203951103","https://openalex.org/I39804081","https://openalex.org/I4387152154","https://openalex.org/I74801974"]},{"id":"https://openalex.org/I176979517","display_name":"International Research Center for Japanese Studies","ror":"https://ror.org/04861vz74","country_code":"JP","type":"education","lineage":["https://openalex.org/I1319490839","https://openalex.org/I176979517","https://openalex.org/I4210148627"]},{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]},{"id":"https://openalex.org/I135768898","display_name":"Ritsumeikan University","ror":"https://ror.org/0197nmd03","country_code":"JP","type":"education","lineage":["https://openalex.org/I135768898","https://openalex.org/I4390039241"]},{"id":"https://openalex.org/I200475212","display_name":"The Graduate University for Advanced Studies, SOKENDAI","ror":"https://ror.org/0516ah480","country_code":"JP","type":"education","lineage":["https://openalex.org/I200475212"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kazuki Watanabe","raw_affiliation_strings":["Japanese-French Laboratory of Informatics IRL 3527, CNRS, Tokyo, Japan","National Institute of Informatics Tokyo, Japan","Ritsumeikan University Kusatsu, Japan","The Graduate University for Advanced Studies (SOKENDAI) Hayama, Japan National Institute of Informatics Tokyo, Japan","Tohoku University Sendai, Japan"],"affiliations":[{"raw_affiliation_string":"Tohoku University Sendai, Japan","institution_ids":["https://openalex.org/I201537933"]},{"raw_affiliation_string":"Japanese-French Laboratory of Informatics IRL 3527, CNRS, Tokyo, Japan","institution_ids":["https://openalex.org/I4387152154","https://openalex.org/I176979517"]},{"raw_affiliation_string":"National Institute of Informatics Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"Ritsumeikan University Kusatsu, Japan","institution_ids":["https://openalex.org/I135768898"]},{"raw_affiliation_string":"The Graduate University for Advanced Studies (SOKENDAI) Hayama, Japan National Institute of Informatics Tokyo, Japan","institution_ids":["https://openalex.org/I184597095","https://openalex.org/I200475212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072416125","display_name":"Clovis Eberhart","orcid":"https://orcid.org/0000-0003-3009-6747"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]},{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]},{"id":"https://openalex.org/I4387152154","display_name":"Japanese-French Laboratory for Informatics","ror":"https://ror.org/007xn7v02","country_code":null,"type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203951103","https://openalex.org/I39804081","https://openalex.org/I4387152154","https://openalex.org/I74801974"]},{"id":"https://openalex.org/I135768898","display_name":"Ritsumeikan University","ror":"https://ror.org/0197nmd03","country_code":"JP","type":"education","lineage":["https://openalex.org/I135768898","https://openalex.org/I4390039241"]},{"id":"https://openalex.org/I200475212","display_name":"The Graduate University for Advanced Studies, SOKENDAI","ror":"https://ror.org/0516ah480","country_code":"JP","type":"education","lineage":["https://openalex.org/I200475212"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Clovis Eberhart","raw_affiliation_strings":["National Institute of Informatics Tokyo, Japan","National Institute of Informatics and Japanese-French Laboratory of Informatics","Ritsumeikan University Kusatsu, Japan","The Graduate University for Advanced Studies (SOKENDAI) Hayama, Japan National Institute of Informatics Tokyo, Japan","Tohoku University Sendai, Japan"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics and Japanese-French Laboratory of Informatics","institution_ids":["https://openalex.org/I184597095","https://openalex.org/I4387152154"]},{"raw_affiliation_string":"Tohoku University Sendai, Japan","institution_ids":["https://openalex.org/I201537933"]},{"raw_affiliation_string":"National Institute of Informatics Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"Ritsumeikan University Kusatsu, Japan","institution_ids":["https://openalex.org/I135768898"]},{"raw_affiliation_string":"The Graduate University for Advanced Studies (SOKENDAI) Hayama, Japan National Institute of Informatics Tokyo, Japan","institution_ids":["https://openalex.org/I184597095","https://openalex.org/I200475212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026592834","display_name":"Kazuyuki Asada","orcid":"https://orcid.org/0000-0001-8782-2119"},"institutions":[{"id":"https://openalex.org/I135768898","display_name":"Ritsumeikan University","ror":"https://ror.org/0197nmd03","country_code":"JP","type":"education","lineage":["https://openalex.org/I135768898","https://openalex.org/I4390039241"]},{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]},{"id":"https://openalex.org/I200475212","display_name":"The Graduate University for Advanced Studies, SOKENDAI","ror":"https://ror.org/0516ah480","country_code":"JP","type":"education","lineage":["https://openalex.org/I200475212"]},{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]},{"id":"https://openalex.org/I4387152154","display_name":"Japanese-French Laboratory for Informatics","ror":"https://ror.org/007xn7v02","country_code":null,"type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203951103","https://openalex.org/I39804081","https://openalex.org/I4387152154","https://openalex.org/I74801974"]},{"id":"https://openalex.org/I176979517","display_name":"International Research Center for Japanese Studies","ror":"https://ror.org/04861vz74","country_code":"JP","type":"education","lineage":["https://openalex.org/I1319490839","https://openalex.org/I176979517","https://openalex.org/I4210148627"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kazuyuki Asada","raw_affiliation_strings":["Japanese-French Laboratory of Informatics IRL 3527, CNRS, Tokyo, Japan","National Institute of Informatics Tokyo, Japan","Ritsumeikan University Kusatsu, Japan","The Graduate University for Advanced Studies (SOKENDAI) Hayama, Japan National Institute of Informatics Tokyo, Japan","Tohoku University Sendai, Japan"],"affiliations":[{"raw_affiliation_string":"Ritsumeikan University Kusatsu, Japan","institution_ids":["https://openalex.org/I135768898"]},{"raw_affiliation_string":"The Graduate University for Advanced Studies (SOKENDAI) Hayama, Japan National Institute of Informatics Tokyo, Japan","institution_ids":["https://openalex.org/I184597095","https://openalex.org/I200475212"]},{"raw_affiliation_string":"Tohoku University Sendai, Japan","institution_ids":["https://openalex.org/I201537933"]},{"raw_affiliation_string":"Japanese-French Laboratory of Informatics IRL 3527, CNRS, Tokyo, Japan","institution_ids":["https://openalex.org/I4387152154","https://openalex.org/I176979517"]},{"raw_affiliation_string":"National Institute of Informatics Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013382452","display_name":"Ichiro Hasuo","orcid":"https://orcid.org/0000-0002-8300-4650"},"institutions":[{"id":"https://openalex.org/I200475212","display_name":"The Graduate University for Advanced Studies, SOKENDAI","ror":"https://ror.org/0516ah480","country_code":"JP","type":"education","lineage":["https://openalex.org/I200475212"]},{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]},{"id":"https://openalex.org/I4387152154","display_name":"Japanese-French Laboratory for Informatics","ror":"https://ror.org/007xn7v02","country_code":null,"type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203951103","https://openalex.org/I39804081","https://openalex.org/I4387152154","https://openalex.org/I74801974"]},{"id":"https://openalex.org/I176979517","display_name":"International Research Center for Japanese Studies","ror":"https://ror.org/04861vz74","country_code":"JP","type":"education","lineage":["https://openalex.org/I1319490839","https://openalex.org/I176979517","https://openalex.org/I4210148627"]},{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]},{"id":"https://openalex.org/I135768898","display_name":"Ritsumeikan University","ror":"https://ror.org/0197nmd03","country_code":"JP","type":"education","lineage":["https://openalex.org/I135768898","https://openalex.org/I4390039241"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ichiro Hasuo","raw_affiliation_strings":["Japanese-French Laboratory of Informatics IRL 3527, CNRS, Tokyo, Japan","National Institute of Informatics Tokyo, Japan","Ritsumeikan University Kusatsu, Japan","The Graduate University for Advanced Studies (SOKENDAI), National Institute of Informatics, and Ritsumeikan University","Tohoku University Sendai, Japan"],"affiliations":[{"raw_affiliation_string":"The Graduate University for Advanced Studies (SOKENDAI), National Institute of Informatics, and Ritsumeikan University","institution_ids":["https://openalex.org/I200475212","https://openalex.org/I184597095","https://openalex.org/I135768898"]},{"raw_affiliation_string":"Japanese-French Laboratory of Informatics IRL 3527, CNRS, Tokyo, Japan","institution_ids":["https://openalex.org/I4387152154","https://openalex.org/I176979517"]},{"raw_affiliation_string":"National Institute of Informatics Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"Tohoku University Sendai, Japan","institution_ids":["https://openalex.org/I201537933"]},{"raw_affiliation_string":"Ritsumeikan University Kusatsu, Japan","institution_ids":["https://openalex.org/I135768898"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":0,"currency":"USD","value_usd":0,"provenance":"doaj"},"apc_paid":null,"fwci":0.662,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":5,"citation_normalized_percentile":{"value":0.588858,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":78,"max":81},"biblio":{"volume":"351","issue":null,"first_page":"278","last_page":"295"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984,"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/T10142","display_name":"Formal Methods in Verification","score":0.9984,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9974,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9969,"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/parity","display_name":"Parity (physics)","score":0.8938898}],"concepts":[{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.8938898},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6444528},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.51860666},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.50151396},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.44263604},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43759584},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27924806},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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":3,"locations":[{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/2112.14058","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://hal.science/hal-04138448","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.2112.14058","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/2112.14058","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":["https://openalex.org/W4200481391"],"referenced_works_count":30,"referenced_works":["https://openalex.org/W1504976549","https://openalex.org/W1514879827","https://openalex.org/W1564580204","https://openalex.org/W1605626978","https://openalex.org/W1644475622","https://openalex.org/W1795516371","https://openalex.org/W1797049789","https://openalex.org/W1969279113","https://openalex.org/W2007738069","https://openalex.org/W2022595765","https://openalex.org/W2074585352","https://openalex.org/W2101032471","https://openalex.org/W2102357532","https://openalex.org/W2104298332","https://openalex.org/W2136544532","https://openalex.org/W2137467159","https://openalex.org/W2153731375","https://openalex.org/W2177831262","https://openalex.org/W2181320299","https://openalex.org/W2339107952","https://openalex.org/W2900110008","https://openalex.org/W2964300838","https://openalex.org/W2965266081","https://openalex.org/W3040538330","https://openalex.org/W3099407508","https://openalex.org/W3100557837","https://openalex.org/W3100624102","https://openalex.org/W3146630147","https://openalex.org/W4241220941","https://openalex.org/W4402624107"],"related_works":["https://openalex.org/W4231775656","https://openalex.org/W2477549100","https://openalex.org/W2472109360","https://openalex.org/W2462216790","https://openalex.org/W2383646825","https://openalex.org/W2371018915","https://openalex.org/W2354191502","https://openalex.org/W2136374310","https://openalex.org/W2046435967","https://openalex.org/W1972225038"],"abstract_inverted_index":{"In":[0],"this":[1,122],"paper,":[2],"we":[3,119],"introduce":[4,31,72],"open":[5,21,35,54,99],"parity":[6,14,28,36,55,100],"games,":[7,37],"which":[8,38,60],"is":[9,17,39],"a":[10,50,58,73,103],"compositional":[11],"approach":[12],"to":[13,23,105],"games.":[15,29,46],"This":[16],"achieved":[18],"by":[19,78,81,110],"adding":[20],"ends":[22],"the":[24,32,79,86,93,106,112,116],"usual":[25],"notion":[26],"of":[27,34,88,95],"We":[30,47,71],"category":[33,76],"defined":[40],"using":[41],"standard":[42],"definitions":[43],"for":[44,53],"graph":[45],"also":[48],"define":[49],"graphical":[51,69,113],"language":[52,114],"games":[56,101],"as":[57,68],"prop,":[59],"have":[61],"recently":[62],"been":[63],"used":[64],"in":[65,98,115],"many":[66],"applications":[67],"languages.":[70],"suitable":[74],"semantic":[75,107,117],"inspired":[77],"work":[80],"Grellois":[82],"and":[83],"Melli\\`es":[84],"on":[85],"semantics":[87],"higher-order":[89],"model":[90],"checking.":[91],"Computing":[92],"set":[94],"winning":[96],"positions":[97],"yields":[102],"functor":[104],"category.":[108],"Finally,":[109],"interpreting":[111],"category,":[118],"show":[120],"that":[121],"computation":[123],"can":[124],"be":[125],"carried":[126],"out":[127],"compositionally.":[128]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4200481391","counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1}],"updated_date":"2025-01-04T04:10:47.160661","created_date":"2021-12-31"}