Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st GALOP@ETAPS 2005: Edinburgh, UK
- Dan R. Ghica, Guy McCusker:
1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005. 2005
- Pierre Hyvernat:
Synchronous games, simulations and lambda-calculus. GALOP@ETAPS 2005: 1-15 - Joaquín Aguado, Michael Mendler:
Constructive semantics for instantaneous reactions. GALOP@ETAPS 2005: 16-31 - James Laird:
A game semantics of the asynchronous pi-calculus and its dual. GALOP@ETAPS 2005: 32-47 - Russell Harmer:
Affine strategies in arena games. GALOP@ETAPS 2005: 48-60 - Michel Hirschowitz:
Abstract games. GALOP@ETAPS 2005: 61-75 - Andrea Schalk:
Concrete data structures as games. GALOP@ETAPS 2005: 76 - Panos Rondogiannis, William W. Wadge:
An infinite-game semantics for negation in logic programming. GALOP@ETAPS 2005: 77-91 - Dale Miller, Alexis Saurin:
A game semantics for proof search: preliminary results. GALOP@ETAPS 2005: 92-106 - David J. Pym, Eike Ritter:
A games semantics for reductive logic and proof-search. GALOP@ETAPS 2005: 107-123 - Andrzej S. Murawski:
Functions with local state: from regularity to undecidability. GALOP@ETAPS 2005: 124-138 - Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic:
Abstraction-refinement for game-based model checking. GALOP@ETAPS 2005: 139 - Andreas Morgenstern, Klaus Schneider:
A unified model checking framework for the supervisor synthesis problem. GALOP@ETAPS 2005: 140-156 - Guy McCusker, Matthew Wall:
Categorical and game semantics for SCIR. GALOP@ETAPS 2005: 157-178 - Benjamin Leperchey:
Time and games. GALOP@ETAPS 2005: 179-194 - Paul Blain Levy:
Infinite trace equivalence. GALOP@ETAPS 2005: 195-209 - Stefano Berardi, Thierry Coquand, Susumu Hayashi:
Games with 1-backtracking. GALOP@ETAPS 2005: 210-225 - Yannick Delbecque:
Information and information flow in game semantics. GALOP@ETAPS 2005: 226-240 - Jan Jürjens:
Towards using game semantics for crypto protocol verification: Lorenzen games. GALOP@ETAPS 2005: 241-257
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-03-25 00:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
