Matches in SemOpenAlex for { <https://semopenalex.org/work/W157185084> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W157185084 endingPage "99" @default.
- W157185084 startingPage "88" @default.
- W157185084 abstract "We consider infinitary two-player perfect information games defined over graphs of configurations of a pushdown automaton. We show how to solve such games when winning conditions are Boolean combinations of a Büchi condition and a new condition that we call unboundedness. An infinite play satisfies the unboundedness condition if there is no bound on the size of the stack during the play. We show that the problem of deciding a winner in such games is EXPTIME-complete." @default.
- W157185084 created "2016-06-24" @default.
- W157185084 creator A5003802384 @default.
- W157185084 creator A5064757019 @default.
- W157185084 creator A5074042679 @default.
- W157185084 date "2003-01-01" @default.
- W157185084 modified "2023-10-10" @default.
- W157185084 title "Pushdown Games with Unboundedness and Regular Conditions" @default.
- W157185084 cites W1508555606 @default.
- W157185084 cites W1568797836 @default.
- W157185084 cites W1589224558 @default.
- W157185084 cites W1809956864 @default.
- W157185084 cites W1971416129 @default.
- W157185084 cites W1972164030 @default.
- W157185084 cites W1974206804 @default.
- W157185084 cites W1996207810 @default.
- W157185084 cites W2054099039 @default.
- W157185084 cites W2060375000 @default.
- W157185084 cites W2147248565 @default.
- W157185084 cites W2493860389 @default.
- W157185084 cites W260642817 @default.
- W157185084 cites W3022006420 @default.
- W157185084 doi "https://doi.org/10.1007/978-3-540-24597-1_8" @default.
- W157185084 hasPublicationYear "2003" @default.
- W157185084 type Work @default.
- W157185084 sameAs 157185084 @default.
- W157185084 citedByCount "29" @default.
- W157185084 countsByYear W1571850842012 @default.
- W157185084 countsByYear W1571850842013 @default.
- W157185084 countsByYear W1571850842015 @default.
- W157185084 countsByYear W1571850842017 @default.
- W157185084 countsByYear W1571850842020 @default.
- W157185084 countsByYear W1571850842021 @default.
- W157185084 crossrefType "book-chapter" @default.
- W157185084 hasAuthorship W157185084A5003802384 @default.
- W157185084 hasAuthorship W157185084A5064757019 @default.
- W157185084 hasAuthorship W157185084A5074042679 @default.
- W157185084 hasBestOaLocation W1571850842 @default.
- W157185084 hasConcept C112505250 @default.
- W157185084 hasConcept C11413529 @default.
- W157185084 hasConcept C114614502 @default.
- W157185084 hasConcept C118615104 @default.
- W157185084 hasConcept C134083981 @default.
- W157185084 hasConcept C154945302 @default.
- W157185084 hasConcept C179799912 @default.
- W157185084 hasConcept C197685441 @default.
- W157185084 hasConcept C27034413 @default.
- W157185084 hasConcept C33923547 @default.
- W157185084 hasConcept C41008148 @default.
- W157185084 hasConcept C53893814 @default.
- W157185084 hasConcept C56049555 @default.
- W157185084 hasConcept C77944639 @default.
- W157185084 hasConcept C80444323 @default.
- W157185084 hasConcept C97212296 @default.
- W157185084 hasConceptScore W157185084C112505250 @default.
- W157185084 hasConceptScore W157185084C11413529 @default.
- W157185084 hasConceptScore W157185084C114614502 @default.
- W157185084 hasConceptScore W157185084C118615104 @default.
- W157185084 hasConceptScore W157185084C134083981 @default.
- W157185084 hasConceptScore W157185084C154945302 @default.
- W157185084 hasConceptScore W157185084C179799912 @default.
- W157185084 hasConceptScore W157185084C197685441 @default.
- W157185084 hasConceptScore W157185084C27034413 @default.
- W157185084 hasConceptScore W157185084C33923547 @default.
- W157185084 hasConceptScore W157185084C41008148 @default.
- W157185084 hasConceptScore W157185084C53893814 @default.
- W157185084 hasConceptScore W157185084C56049555 @default.
- W157185084 hasConceptScore W157185084C77944639 @default.
- W157185084 hasConceptScore W157185084C80444323 @default.
- W157185084 hasConceptScore W157185084C97212296 @default.
- W157185084 hasLocation W1571850841 @default.
- W157185084 hasLocation W1571850842 @default.
- W157185084 hasLocation W1571850843 @default.
- W157185084 hasLocation W1571850844 @default.
- W157185084 hasOpenAccess W157185084 @default.
- W157185084 hasPrimaryLocation W1571850841 @default.
- W157185084 hasRelatedWork W1557750304 @default.
- W157185084 hasRelatedWork W1884709457 @default.
- W157185084 hasRelatedWork W1972232894 @default.
- W157185084 hasRelatedWork W1991406344 @default.
- W157185084 hasRelatedWork W2064514470 @default.
- W157185084 hasRelatedWork W2067895928 @default.
- W157185084 hasRelatedWork W2088846354 @default.
- W157185084 hasRelatedWork W2090800764 @default.
- W157185084 hasRelatedWork W3022006420 @default.
- W157185084 hasRelatedWork W3133052492 @default.
- W157185084 isParatext "false" @default.
- W157185084 isRetracted "false" @default.
- W157185084 magId "157185084" @default.
- W157185084 workType "book-chapter" @default.