%0 Journal Article %1 journals/amc/Paleo12 %A Paleo, Bruno Woltzenlogel %D 2012 %J Appl. Math. Comput. %K dblp %N 1 %P 45-53 %T Physics and proof theory. %U http://dblp.uni-trier.de/db/journals/amc/amc219.html#Paleo12 %V 219

@article{journals/amc/Paleo12, added-at = {2020-02-21T00:00:00.000+0100}, author = {Paleo, Bruno Woltzenlogel}, biburl = {https://www.bibsonomy.org/bibtex/2b6456fcd897520e8393e04da40236b7e/dblp}, ee = {https://www.wikidata.org/entity/Q41009955}, interhash = {579b67b7beb9d5f6ec9fe72062b058c4}, intrahash = {b6456fcd897520e8393e04da40236b7e}, journal = {Appl. Math. Comput.}, keywords = {dblp}, number = 1, pages = {45-53}, timestamp = {2020-02-22T11:49:38.000+0100}, title = {Physics and proof theory.}, url = {http://dblp.uni-trier.de/db/journals/amc/amc219.html#Paleo12}, volume = 219, year = 2012 }