BibTeX record conf/galop/MillerS05

download as .bib file

@inproceedings{DBLP:conf/galop/MillerS05,
  author       = {Dale Miller and
                  Alexis Saurin},
  editor       = {Dan R. Ghica and
                  Guy McCusker},
  title        = {A game semantics for proof search: preliminary results},
  booktitle    = {1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS
                  2005, Edinburgh, UK, 2-3 April 2005},
  pages        = {92--106},
  year         = {2005},
  timestamp    = {Thu, 25 Jun 2020 16:30:03 +0200},
  biburl       = {https://dblp.org/rec/conf/galop/MillerS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics