Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486171852> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1486171852 abstract "Games played on finite graphs were first introduced by McNaughton in [6]. Mc- Naughton, using the ideas of the paper by Gurevich and Harrington [3], proved that winners in his games have finite state winning strategies. Later based on McNaughton games, Nerode, Remmel and Yakhnis in a series of papers (see [7] and [8], for example) developed foundations of concurrent programming by identifying distributed concurrent programs with finite state strategies and studied complexities of finding winners in McNaughton games. Dinneen and Khoussainov use McNaughton games for modelling and studying structural and complexitytheoretical properties of update networks (see [1]). Later in [2] Bodlaender, Dinneen and Khoussainov generalize the study of update networks by introducing the concept of relaxed update network. They proved that it is possible to detect in polynomial time whether or not a given game represents a relaxed update network. In this paper we continue the line of research of the above mentioned work and begin with the following de.nition from [6]:" @default.
- W1486171852 created "2016-06-24" @default.
- W1486171852 creator A5016735166 @default.
- W1486171852 creator A5034299594 @default.
- W1486171852 date "2002-01-01" @default.
- W1486171852 modified "2023-09-23" @default.
- W1486171852 title "Complexity of Some Infinite Games Played on Finite Graphs" @default.
- W1486171852 cites W11028699 @default.
- W1486171852 cites W1969912861 @default.
- W1486171852 cites W1971138850 @default.
- W1486171852 cites W2000900855 @default.
- W1486171852 cites W2242803982 @default.
- W1486171852 cites W2290276042 @default.
- W1486171852 cites W4248784701 @default.
- W1486171852 doi "https://doi.org/10.1007/3-540-36379-3_24" @default.
- W1486171852 hasPublicationYear "2002" @default.
- W1486171852 type Work @default.
- W1486171852 sameAs 1486171852 @default.
- W1486171852 citedByCount "11" @default.
- W1486171852 countsByYear W14861718522013 @default.
- W1486171852 countsByYear W14861718522018 @default.
- W1486171852 countsByYear W14861718522020 @default.
- W1486171852 crossrefType "book-chapter" @default.
- W1486171852 hasAuthorship W1486171852A5016735166 @default.
- W1486171852 hasAuthorship W1486171852A5034299594 @default.
- W1486171852 hasBestOaLocation W14861718522 @default.
- W1486171852 hasConcept C11413529 @default.
- W1486171852 hasConcept C119857082 @default.
- W1486171852 hasConcept C134306372 @default.
- W1486171852 hasConcept C144237770 @default.
- W1486171852 hasConcept C167822520 @default.
- W1486171852 hasConcept C177142836 @default.
- W1486171852 hasConcept C2983497884 @default.
- W1486171852 hasConcept C311688 @default.
- W1486171852 hasConcept C33923547 @default.
- W1486171852 hasConcept C41008148 @default.
- W1486171852 hasConcept C48103436 @default.
- W1486171852 hasConcept C80444323 @default.
- W1486171852 hasConcept C90119067 @default.
- W1486171852 hasConcept C98763669 @default.
- W1486171852 hasConceptScore W1486171852C11413529 @default.
- W1486171852 hasConceptScore W1486171852C119857082 @default.
- W1486171852 hasConceptScore W1486171852C134306372 @default.
- W1486171852 hasConceptScore W1486171852C144237770 @default.
- W1486171852 hasConceptScore W1486171852C167822520 @default.
- W1486171852 hasConceptScore W1486171852C177142836 @default.
- W1486171852 hasConceptScore W1486171852C2983497884 @default.
- W1486171852 hasConceptScore W1486171852C311688 @default.
- W1486171852 hasConceptScore W1486171852C33923547 @default.
- W1486171852 hasConceptScore W1486171852C41008148 @default.
- W1486171852 hasConceptScore W1486171852C48103436 @default.
- W1486171852 hasConceptScore W1486171852C80444323 @default.
- W1486171852 hasConceptScore W1486171852C90119067 @default.
- W1486171852 hasConceptScore W1486171852C98763669 @default.
- W1486171852 hasLocation W14861718521 @default.
- W1486171852 hasLocation W14861718522 @default.
- W1486171852 hasOpenAccess W1486171852 @default.
- W1486171852 hasPrimaryLocation W14861718521 @default.
- W1486171852 hasRelatedWork W1484918864 @default.
- W1486171852 hasRelatedWork W1513485037 @default.
- W1486171852 hasRelatedWork W1582530007 @default.
- W1486171852 hasRelatedWork W1604123769 @default.
- W1486171852 hasRelatedWork W185167655 @default.
- W1486171852 hasRelatedWork W1888359616 @default.
- W1486171852 hasRelatedWork W1971138850 @default.
- W1486171852 hasRelatedWork W1972164030 @default.
- W1486171852 hasRelatedWork W1976585545 @default.
- W1486171852 hasRelatedWork W2000900855 @default.
- W1486171852 hasRelatedWork W2007287962 @default.
- W1486171852 hasRelatedWork W2011391077 @default.
- W1486171852 hasRelatedWork W2028179941 @default.
- W1486171852 hasRelatedWork W2029399284 @default.
- W1486171852 hasRelatedWork W2060375000 @default.
- W1486171852 hasRelatedWork W2068794741 @default.
- W1486171852 hasRelatedWork W2106790957 @default.
- W1486171852 hasRelatedWork W2125267391 @default.
- W1486171852 hasRelatedWork W2290276042 @default.
- W1486171852 hasRelatedWork W3185013313 @default.
- W1486171852 isParatext "false" @default.
- W1486171852 isRetracted "false" @default.
- W1486171852 magId "1486171852" @default.
- W1486171852 workType "book-chapter" @default.