%0 Journal Article %1 journals/aml/DyckhoffN12 %A Dyckhoff, Roy %A Negri, Sara %D 2012 %J Arch. Math. Log. %K dblp %N 1-2 %P 71-92 %T Proof analysis in intermediate logics. %U http://dblp.uni-trier.de/db/journals/aml/aml51.html#DyckhoffN12 %V 51

@article{journals/aml/DyckhoffN12, added-at = {2012-01-03T00:00:00.000+0100}, author = {Dyckhoff, Roy and Negri, Sara}, biburl = {https://www.bibsonomy.org/bibtex/26ba8ba931a93bebbb8a2915ffd92d788/dblp}, ee = {http://dx.doi.org/10.1007/s00153-011-0254-7}, interhash = {7a24f80b01eae0622cfb2a836158748d}, intrahash = {6ba8ba931a93bebbb8a2915ffd92d788}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = {1-2}, pages = {71-92}, timestamp = {2012-01-04T11:34:24.000+0100}, title = {Proof analysis in intermediate logics.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml51.html#DyckhoffN12}, volume = 51, year = 2012 }