Games for Logic and Programming Languages
GALOP 2005: Edinburgh, Scotland, UK (Part of ETAPS 2005)
Dan R. Ghica, Guy McCusker (Eds.):
Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference.
- GALOP 2005 Home Page
Last update Sun May 19 22:18:42 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page