%0 Journal Article %1 journals/logcom/Kolokolova12 %A Kolokolova, Antonina %D 2012 %J J. Log. Comput. %K dblp %N 2 %P 267-280 %T Expressing versus Proving: Relating Forms of Complexity in Logic. %U http://dblp.uni-trier.de/db/journals/logcom/logcom22.html#Kolokolova12 %V 22

@article{journals/logcom/Kolokolova12, added-at = {2012-04-20T00:00:00.000+0200}, author = {Kolokolova, Antonina}, biburl = {https://www.bibsonomy.org/bibtex/2ddb1a87df642c61196c72c7324a293ae/dblp}, ee = {http://dx.doi.org/10.1093/logcom/exq008}, interhash = {d3ff11dc9b24cc0da6ff52900e7d8da1}, intrahash = {ddb1a87df642c61196c72c7324a293ae}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 2, pages = {267-280}, timestamp = {2012-04-21T11:33:58.000+0200}, title = {Expressing versus Proving: Relating Forms of Complexity in Logic.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom22.html#Kolokolova12}, volume = 22, year = 2012 }