BibTeX record: conf/galop/Murawski05

download as .bib file

@inproceedings{DBLP:conf/galop/Murawski05,
  author    = {Andrzej S. Murawski},
  title     = {Functions with local state: from regularity to undecidability},
  booktitle = {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},
  pages     = {124--138},
  year      = {2005},
  crossref  = {DBLP:conf/galop/2005},
  timestamp = {Wed, 22 Jun 2005 12:14:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/galop/Murawski05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  year      = {2005},
  timestamp = {Wed, 22 Jun 2005 12:14:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/galop/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}