Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287641679> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W4287641679 abstract "This paper studies a large class of two-player perfect-information turn-based parity games on infinite graphs, namely those generated by collapsible pushdown automata. The main motivation for studying these games comes from the connections from collapsible pushdown automata and higher-order recursion schemes, both models being equi-expressive for generating infinite trees. Our main result is to establish the decidability of such games and to provide an effective representation of the winning region as well as of a winning strategy. Thus, the results obtained here provide all necessary tools for an in-depth study of logical properties of trees generated by collapsible pushdown automata/recursion schemes." @default.
- W4287641679 created "2022-07-25" @default.
- W4287641679 creator A5000119795 @default.
- W4287641679 creator A5003802384 @default.
- W4287641679 creator A5034113102 @default.
- W4287641679 creator A5057935060 @default.
- W4287641679 creator A5083664380 @default.
- W4287641679 creator A5091508237 @default.
- W4287641679 date "2021-01-01" @default.
- W4287641679 modified "2023-09-23" @default.
- W4287641679 title "Collapsible Pushdown Parity Games" @default.
- W4287641679 hasPublicationYear "2021" @default.
- W4287641679 type Work @default.
- W4287641679 citedByCount "0" @default.
- W4287641679 crossrefType "journal-article" @default.
- W4287641679 hasAuthorship W4287641679A5000119795 @default.
- W4287641679 hasAuthorship W4287641679A5003802384 @default.
- W4287641679 hasAuthorship W4287641679A5034113102 @default.
- W4287641679 hasAuthorship W4287641679A5057935060 @default.
- W4287641679 hasAuthorship W4287641679A5083664380 @default.
- W4287641679 hasAuthorship W4287641679A5091508237 @default.
- W4287641679 hasConcept C109214941 @default.
- W4287641679 hasConcept C121332964 @default.
- W4287641679 hasConcept C2777151079 @default.
- W4287641679 hasConcept C33923547 @default.
- W4287641679 hasConcept C41008148 @default.
- W4287641679 hasConceptScore W4287641679C109214941 @default.
- W4287641679 hasConceptScore W4287641679C121332964 @default.
- W4287641679 hasConceptScore W4287641679C2777151079 @default.
- W4287641679 hasConceptScore W4287641679C33923547 @default.
- W4287641679 hasConceptScore W4287641679C41008148 @default.
- W4287641679 hasOpenAccess W4287641679 @default.
- W4287641679 hasRelatedWork W1974891317 @default.
- W4287641679 hasRelatedWork W2007596026 @default.
- W4287641679 hasRelatedWork W2044189972 @default.
- W4287641679 hasRelatedWork W2069964982 @default.
- W4287641679 hasRelatedWork W2313400459 @default.
- W4287641679 hasRelatedWork W2748952813 @default.
- W4287641679 hasRelatedWork W2899084033 @default.
- W4287641679 hasRelatedWork W2913765211 @default.
- W4287641679 hasRelatedWork W4225152035 @default.
- W4287641679 hasRelatedWork W4245490552 @default.
- W4287641679 isParatext "false" @default.
- W4287641679 isRetracted "false" @default.
- W4287641679 workType "article" @default.