Games for Logic and Programming Languages
GALOP@ETAPS 2005: Edinburgh, Scotland, UK
- 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. 2005 [contents]