Matches in SemOpenAlex for { <https://semopenalex.org/work/W1972164030> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1972164030 endingPage "291" @default.
- W1972164030 startingPage "285" @default.
- W1972164030 abstract "We consider infinite two-player games on pushdown graphs. For parity winning conditions, we show that the set of winning positions of each player is regular and we give an effective construction of an alternating automaton recognizing it. This provides a DEXPTIME procedure to decide whether a position is winning for a given player. Finally, using the same methods, we show, for any Ω-regular winning condition, that the set of winning positions for a given player is regular and effective." @default.
- W1972164030 created "2016-06-24" @default.
- W1972164030 creator A5003802384 @default.
- W1972164030 date "2003-03-01" @default.
- W1972164030 modified "2023-09-25" @default.
- W1972164030 title "Note on winning positions on pushdown games with ω-regular conditions" @default.
- W1972164030 cites W1971138850 @default.
- W1972164030 cites W1971416129 @default.
- W1972164030 cites W2060375000 @default.
- W1972164030 cites W3022006420 @default.
- W1972164030 cites W4241108585 @default.
- W1972164030 doi "https://doi.org/10.1016/s0020-0190(02)00445-3" @default.
- W1972164030 hasPublicationYear "2003" @default.
- W1972164030 type Work @default.
- W1972164030 sameAs 1972164030 @default.
- W1972164030 citedByCount "41" @default.
- W1972164030 countsByYear W19721640302012 @default.
- W1972164030 countsByYear W19721640302013 @default.
- W1972164030 countsByYear W19721640302014 @default.
- W1972164030 countsByYear W19721640302016 @default.
- W1972164030 countsByYear W19721640302017 @default.
- W1972164030 countsByYear W19721640302019 @default.
- W1972164030 countsByYear W19721640302021 @default.
- W1972164030 crossrefType "journal-article" @default.
- W1972164030 hasAuthorship W1972164030A5003802384 @default.
- W1972164030 hasBestOaLocation W19721640302 @default.
- W1972164030 hasConcept C112505250 @default.
- W1972164030 hasConcept C134083981 @default.
- W1972164030 hasConcept C154945302 @default.
- W1972164030 hasConcept C27034413 @default.
- W1972164030 hasConcept C33923547 @default.
- W1972164030 hasConcept C41008148 @default.
- W1972164030 hasConcept C53893814 @default.
- W1972164030 hasConcept C77944639 @default.
- W1972164030 hasConcept C80444323 @default.
- W1972164030 hasConcept C97212296 @default.
- W1972164030 hasConceptScore W1972164030C112505250 @default.
- W1972164030 hasConceptScore W1972164030C134083981 @default.
- W1972164030 hasConceptScore W1972164030C154945302 @default.
- W1972164030 hasConceptScore W1972164030C27034413 @default.
- W1972164030 hasConceptScore W1972164030C33923547 @default.
- W1972164030 hasConceptScore W1972164030C41008148 @default.
- W1972164030 hasConceptScore W1972164030C53893814 @default.
- W1972164030 hasConceptScore W1972164030C77944639 @default.
- W1972164030 hasConceptScore W1972164030C80444323 @default.
- W1972164030 hasConceptScore W1972164030C97212296 @default.
- W1972164030 hasIssue "6" @default.
- W1972164030 hasLocation W19721640301 @default.
- W1972164030 hasLocation W19721640302 @default.
- W1972164030 hasLocation W19721640303 @default.
- W1972164030 hasLocation W19721640304 @default.
- W1972164030 hasLocation W19721640305 @default.
- W1972164030 hasLocation W19721640306 @default.
- W1972164030 hasOpenAccess W1972164030 @default.
- W1972164030 hasPrimaryLocation W19721640301 @default.
- W1972164030 hasRelatedWork W1725438563 @default.
- W1972164030 hasRelatedWork W1802937628 @default.
- W1972164030 hasRelatedWork W1972232894 @default.
- W1972164030 hasRelatedWork W1991406344 @default.
- W1972164030 hasRelatedWork W2012479020 @default.
- W1972164030 hasRelatedWork W2067895928 @default.
- W1972164030 hasRelatedWork W2074593591 @default.
- W1972164030 hasRelatedWork W2758239419 @default.
- W1972164030 hasRelatedWork W392685101 @default.
- W1972164030 hasRelatedWork W2472752294 @default.
- W1972164030 hasVolume "85" @default.
- W1972164030 isParatext "false" @default.
- W1972164030 isRetracted "false" @default.
- W1972164030 magId "1972164030" @default.
- W1972164030 workType "article" @default.