BibTeX record conf/stacs/HarwathS12

download as .bib file

@inproceedings{DBLP:conf/stacs/HarwathS12,
  author    = {Frederik Harwath and
               Nicole Schweikardt},
  title     = {Regular tree languages, cardinality predicates, and addition-invariant
               {FO}},
  booktitle = {{STACS}},
  series    = {LIPIcs},
  volume    = {14},
  pages     = {489--500},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2012}
}
maintained by Schloss Dagstuhl LZI at University of Trier