BibTeX record conf/csl/HarwathS13

download as .bib file

@inproceedings{DBLP:conf/csl/HarwathS13,
  author    = {Frederik Harwath and
               Nicole Schweikardt},
  title     = {On the locality of arb-invariant first-order logic with modulo counting
               quantifiers},
  booktitle = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
               2013, Torino, Italy},
  pages     = {363--379},
  year      = {2013},
  crossref  = {DBLP:conf/csl/2013},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2013.363},
  doi       = {10.4230/LIPIcs.CSL.2013.363},
  timestamp = {Wed, 24 May 2017 08:29:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/HarwathS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2013,
  editor    = {Simona Ronchi Della Rocca},
  title     = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
               2013, Torino, Italy},
  series    = {LIPIcs},
  volume    = {23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2013},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=13009},
  isbn      = {978-3-939897-60-6},
  timestamp = {Wed, 04 Sep 2013 20:26:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier