Conferences in DBLP

Games for Logic and Programming Languages (galop)
2005 (conf/galop/2005)

1. Pierre Hyvernat
   Synchronous games, simulations and lambda-calculus. [Citation Graph (0, 0)][DBLP]
   GALOP, 2005, pp:1-15 [Conf]
   
2. Joaquin Aguado, Michael Mendler
   Constructive semantics for instantaneous reactions. [Citation Graph (0, 0)][DBLP]
   GALOP, 2005, pp:16-31 [Conf]
   
3. James Laird
   A game semantics of the asynchronous pi-calculus and its dual. [Citation Graph (0, 0)][DBLP]
   GALOP, 2005, pp:32-47 [Conf]
   
4. Russell Harmer
   Affine strategies in arena games. [Citation Graph (0, 0)][DBLP]
   GALOP, 2005, pp:48-60 [Conf]
   
5. Michel Hirschowitz
   Abstract games. [Citation Graph (0, 0)][DBLP]
   GALOP, 2005, pp:61-75 [Conf]
   
6. Andrea Schalk
   Concrete data structures as games. [Citation Graph (0, 0)][DBLP]
   GALOP, 2005, pp:76- [Conf]
   
7. Panos Rondogiannis, William W. Wadge
   An infinite-game semantics for negation in logic programming. [Citation Graph (0, 0)][DBLP]
   GALOP, 2005, pp:77-91 [Conf]
   
8. Dale Miller, Alexis Saurin
   A game semantics for proof search: preliminary results. [Citation Graph (0, 0)][DBLP]
   GALOP, 2005, pp:92-106 [Conf]
   
9. David J. Pym, Eike Ritter
   A games semantics for reductive logic and proof-search. [Citation Graph (0, 0)][DBLP]
   GALOP, 2005, pp:107-123 [Conf]
   
10. Andrzej S. Murawski
    Functions with local state: from regularity to undecidability. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:124-138 [Conf]
    
11. Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic
    Abstraction-refinement for game-based model checking. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:139- [Conf]
    
12. Andreas Morgenstern, Klaus Schneider
    A unified model checking framework for the supervisor synthesis problem. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:140-156 [Conf]
    
13. Guy McCusker, Matthew Wall
    Categorical and game semantics for SCIR. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:157-178 [Conf]
    
14. Benjamin Leperchey
    Time and games. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:179-194 [Conf]
    
15. Paul Blain Levy
    Infinite trace equivalence. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:195-209 [Conf]
    
16. Stefano Berardi, Thierry Coquand, Susumu Hayashi
    Games with 1-backtracking. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:210-225 [Conf]
    
17. Yannick Delbecque
    Information and information flow in game semantics. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:226-240 [Conf]
    
18. Jan Jürjens
    Towards using game semantics for crypto protocol verification: Lorenzen games. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:241-257 [Conf]