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

Dan R. Ghica Guy McCusker 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 db/conf/galop/galop2005.html