Titel

Merkliste
1 Ergebnisse

The Winning Ways of Concurrent Games:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,

Clairambault, Pierre ; Gutierrez, Julian ; Winskel, Glynn - p. 235-244 , 2012

Link: https://dl.acm.org/doi/10.1109/LICS.2012.34

RT 
T1 <cTitle>Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science</cTitle>: T1 <Title>The Winning Ways of Concurrent Games</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2359508&Exemplar=1&LAN=DE
				
A1 Clairambault, Pierre
A1 Gutierrez, Julian
A1 Winskel, Glynn
PB IEEE Computer Society
YR 2012
K1 Concurrent games
K1 Determinacy
K1 Event structures
K1 Nondeterministic strategies
K1 Winning conditions
K1 Theory of computation
K1 Logic
K1 Semantics and reasoning
K1 Program semantics
K1 Information systems
K1 Information systems applications
K1 Multimedia information systems
K1 Massively multiplayer online games
K1 Applied computing
K1 Computers in other domains
K1 Personal computers and PC applications
K1 Computer games
K1 Software and its engineering
K1 Software organization and properties
K1 Contextual software domains
K1 Virtual worlds software
K1 Interactive games
SP 235
OP 244
LK http://dx.doi.org/https://dl.acm.org/doi/10.1109/LICS.2012.34
DO https://dl.acm.org/doi/10.1109/LICS.2012.34
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)