DBLP Record 'conf/galop/MillerS05'

BibTeX

@inproceedings{DBLP:conf/galop/MillerS05,
  author    = {Dale Miller and
               Alexis Saurin},
  title     = {A game semantics for proof search: preliminary results},
  booktitle = {GALOP},
  year      = {2005},
  pages     = {92-106},
  crossref  = {DBLP:conf/galop/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/galop/2005,
  editor    = {Dan R. Ghica and
               Guy McCusker},
  title     = {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},
  booktitle = {GALOP},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}