@inproceedings{conf/wollic/HaakV16,
  added-at = {2019-09-16T00:00:00.000+0200},
  author = {Haak, Anselm and Vollmer, Heribert},
  biburl = {https://www.bibsonomy.org/bibtex/21251c9cd6ece5187cb76b66b82bfdcd5/dblp},
  booktitle = {WoLLIC},
  crossref = {conf/wollic/2016},
  editor = {Väänänen, Jouko A. and Hirvonen, Åsa and de Queiroz, Ruy J. G. B.},
  ee = {https://doi.org/10.1007/978-3-662-52921-8_15},
  interhash = {15dd795aa2c99a81d4c10b847aa95c60},
  intrahash = {1251c9cd6ece5187cb76b66b82bfdcd5},
  isbn = {978-3-662-52920-1},
  keywords = {dblp},
  pages = {234-248},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-09-17T13:14:57.000+0200},
  title = {A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits.},
  url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2016.html#HaakV16},
  volume = 9803,
  year = 2016
}

@article{journals/corr/HaakV16,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Haak, Anselm and Vollmer, Heribert},
  biburl = {https://www.bibsonomy.org/bibtex/2363d60463199fdc80a45af79e831c5ac/dblp},
  ee = {http://arxiv.org/abs/1603.09531},
  interhash = {15dd795aa2c99a81d4c10b847aa95c60},
  intrahash = {363d60463199fdc80a45af79e831c5ac},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T13:41:21.000+0200},
  title = {A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1603.html#HaakV16},
  volume = {abs/1603.09531},
  year = 2016
}

@inbook{Haak2016,
  added-at = {2017-01-09T17:02:17.000+0100},
  address = {Berlin, Heidelberg},
  author = {Haak, Anselm and Vollmer, Heribert},
  biburl = {https://www.bibsonomy.org/bibtex/2101e14a3f9d8acfba2b598303753307a/hvo},
  booktitle = {Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
  doi = {10.1007/978-3-662-52921-8_15},
  editor = {V{\"a}{\"a}n{\"a}nen, Jouko and Hirvonen, {\AA}sa and de Queiroz, Ruy},
  interhash = {15dd795aa2c99a81d4c10b847aa95c60},
  intrahash = {101e14a3f9d8acfba2b598303753307a},
  isbn = {978-3-662-52921-8},
  keywords = {complexity myown},
  pages = {234--248},
  publisher = {Springer Berlin Heidelberg},
  timestamp = {2017-01-09T17:02:17.000+0100},
  title = {A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits},
  url = {http://dx.doi.org/10.1007/978-3-662-52921-8_15},
  year = 2016
}