1st GALOP@ETAPS 2005: Edinburgh, UK

> Home > Conferences and Workshops > GALOP
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/2005
Dan R. Ghica, Guy McCusker:
1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005. 2005
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/Hyvernat05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/Hyvernat05
Pierre Hyvernat:
Synchronous games, simulations and lambda-calculus. GALOP@ETAPS 2005: 1-15
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/AguadoM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/AguadoM05
Joaquín Aguado, Michael Mendler:
Constructive semantics for instantaneous reactions. GALOP@ETAPS 2005: 16-31
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/Laird05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/Laird05
James Laird:
A game semantics of the asynchronous pi-calculus and its dual. GALOP@ETAPS 2005: 32-47
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/Harmer05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/Harmer05
Russell Harmer:
Affine strategies in arena games. GALOP@ETAPS 2005: 48-60
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/Hirschowitz05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/Hirschowitz05
Michel Hirschowitz:
Abstract games. GALOP@ETAPS 2005: 61-75
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/Schalk05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/Schalk05
Andrea Schalk:
Concrete data structures as games. GALOP@ETAPS 2005: 76
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/RondogiannisW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/RondogiannisW05
Panos Rondogiannis, William W. Wadge:
An infinite-game semantics for negation in logic programming. GALOP@ETAPS 2005: 77-91
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/MillerS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/MillerS05
Dale Miller, Alexis Saurin:
A game semantics for proof search: preliminary results. GALOP@ETAPS 2005: 92-106
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/PymR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/PymR05
David J. Pym, Eike Ritter:
A games semantics for reductive logic and proof-search. GALOP@ETAPS 2005: 107-123
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/Murawski05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/Murawski05
Andrzej S. Murawski:
Functions with local state: from regularity to undecidability. GALOP@ETAPS 2005: 124-138
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/DimovskiGL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/DimovskiGL05
Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic:
Abstraction-refinement for game-based model checking. GALOP@ETAPS 2005: 139
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/MorgensternS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/MorgensternS05
Andreas Morgenstern, Klaus Schneider:
A unified model checking framework for the supervisor synthesis problem. GALOP@ETAPS 2005: 140-156
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/McCuskerW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/McCuskerW05
Guy McCusker, Matthew Wall:
Categorical and game semantics for SCIR. GALOP@ETAPS 2005: 157-178
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/Leperchey05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/Leperchey05
Benjamin Leperchey:
Time and games. GALOP@ETAPS 2005: 179-194
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/Levy05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/Levy05
Paul Blain Levy:
Infinite trace equivalence. GALOP@ETAPS 2005: 195-209
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/BerardiCH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/BerardiCH05
Stefano Berardi, Thierry Coquand, Susumu Hayashi:
Games with 1-backtracking. GALOP@ETAPS 2005: 210-225
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/Delbecque05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/Delbecque05
Yannick Delbecque:
Information and information flow in game semantics. GALOP@ETAPS 2005: 226-240
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/galop/Jurjens05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/Jurjens05
Jan Jürjens:
Towards using game semantics for crypto protocol verification: Lorenzen games. GALOP@ETAPS 2005: 241-257

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.