@INPROCEEDINGS{Tof04,
  author = {Toftdal, Michael},
  title = {A calibration of ineffective theorems of analysis in a hierarchy
	of semi-classical logical principles (extended abstract)},
  booktitle = {Automata, languages and programming},
  year = {2004},
  volume = {3142},
  series = LNCS,
  pages = {1188--1200},
  address = {Berlin},
  publisher = {Springer},
  doi = {10.1007/978-3-540-27836-8_98},
  keywords = {bib,con},
  mrnumber = {2161092}
}

{"_id":"56H6RHGK4rHBvmXHe","bibbaseid":"toftdal-acalibrationofineffectivetheoremsofanalysisinahierarchyofsemiclassicallogicalprinciplesextendedabstract-2004","authorIDs":[],"author_short":["Toftdal, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Toftdal"],"firstnames":["Michael"],"suffixes":[]}],"title":"A calibration of ineffective theorems of analysis in a hierarchy of semi-classical logical principles (extended abstract)","booktitle":"Automata, languages and programming","year":"2004","volume":"3142","series":"Lecture Notes in Computer Science","pages":"1188–1200","address":"Berlin","publisher":"Springer","doi":"10.1007/978-3-540-27836-8_98","keywords":"bib,con","mrnumber":"2161092","bibtex":"@INPROCEEDINGS{Tof04,\r\n author = {Toftdal, Michael},\r\n title = {A calibration of ineffective theorems of analysis in a hierarchy\r\n\tof semi-classical logical principles (extended abstract)},\r\n booktitle = {Automata, languages and programming},\r\n year = {2004},\r\n volume = {3142},\r\n series = LNCS,\r\n pages = {1188--1200},\r\n address = {Berlin},\r\n publisher = {Springer},\r\n doi = {10.1007/978-3-540-27836-8_98},\r\n keywords = {bib,con},\r\n mrnumber = {2161092}\r\n}\r\n\r\n","author_short":["Toftdal, M."],"key":"Tof04","id":"Tof04","bibbaseid":"toftdal-acalibrationofineffectivetheoremsofanalysisinahierarchyofsemiclassicallogicalprinciplesextendedabstract-2004","role":"author","urls":{},"keyword":["bib","con"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.114Z","downloads":0,"keywords":["bib","con"],"search_terms":["calibration","ineffective","theorems","analysis","hierarchy","semi","classical","logical","principles","extended","abstract","toftdal"],"title":"A calibration of ineffective theorems of analysis in a hierarchy of semi-classical logical principles (extended abstract)","year":2004,"dataSources":["t7rKiAbxugj4Agz8M"]}