%0 Journal Article %1 journals/dagstuhl-reports/BjornerHNW13 %A Bjørner, Nikolaj %A Hähnle, Reiner %A Nipkow, Tobias %A Weidenbach, Christoph %D 2013 %J Dagstuhl Reports %K %N 10 %P 1-24 %T Deduction and Arithmetic (Dagstuhl Seminar 13411). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports3.html#BjornerHNW13 %V 3

@article{journals/dagstuhl-reports/BjornerHNW13, added-at = {2023-12-13T09:01:06.000+0100}, author = {Bjørner, Nikolaj and Hähnle, Reiner and Nipkow, Tobias and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2bd1735850a84507859cda4605d2ede19/admin}, ee = {http://dx.doi.org/10.4230/DagRep.3.10.1}, interhash = {ca14ed8d497b07c796fb924a1cbaf0b1}, intrahash = {bd1735850a84507859cda4605d2ede19}, journal = {Dagstuhl Reports}, keywords = {}, number = 10, pages = {1-24}, timestamp = {2023-12-13T09:01:06.000+0100}, title = {Deduction and Arithmetic (Dagstuhl Seminar 13411).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports3.html#BjornerHNW13}, volume = 3, year = 2013 }