%0 Conference Paper %1 conf/wollic/HaakV16 %A Haak, Anselm %A Vollmer, Heribert %B WoLLIC %D 2016 %E Väänänen, Jouko A. %E Hirvonen, Åsa %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 234-248 %T A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2016.html#HaakV16 %V 9803 %@ 978-3-662-52920-1

@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 }