The Strength of Non-size-increasing Computation (Introduction and Summary). Hofmann 0001, M. In Proceedings of Mathematical Foundations of Computer Science (MFCS), pages 58-61, 2001. ![The Strength of Non-size-increasing Computation (Introduction and Summary) [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp4400117,
title = {The Strength of Non-size-increasing Computation (Introduction and Summary)},
author = {Martin Hofmann 0001},
author_short = {Hofmann 0001, M.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2001},
key = {dblp4400117},
id = {dblp4400117},
biburl = {http://www.dblp.org/rec/bibtex/conf/mfcs/Hofmann01},
url = {http://dx.doi.org/10.1007/3-540-44683-4_6},
conference = {MFCS},
pages = {58-61},
text = {MFCS 2001:58-61},
booktitle = {Proceedings of Mathematical Foundations of Computer Science (MFCS)}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f3a"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M."],"bibbaseid":"hofmann0001-thestrengthofnonsizeincreasingcomputationintroductionandsummary-2001","bibdata":{"title":"The Strength of Non-size-increasing Computation (Introduction and Summary)","author":["Martin Hofmann 0001"],"author_short":["Hofmann 0001, M."],"bibtype":"inproceedings","type":"inproceedings","year":"2001","key":"dblp4400117","id":"dblp4400117","biburl":"http://www.dblp.org/rec/bibtex/conf/mfcs/Hofmann01","url":"http://dx.doi.org/10.1007/3-540-44683-4_6","conference":"MFCS","pages":"58-61","text":"MFCS 2001:58-61","booktitle":"Proceedings of Mathematical Foundations of Computer Science (MFCS)","bibtex":"@inproceedings{ dblp4400117,\n title = {The Strength of Non-size-increasing Computation (Introduction and Summary)},\n author = {Martin Hofmann 0001},\n author_short = {Hofmann 0001, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2001},\n key = {dblp4400117},\n id = {dblp4400117},\n biburl = {http://www.dblp.org/rec/bibtex/conf/mfcs/Hofmann01},\n url = {http://dx.doi.org/10.1007/3-540-44683-4_6},\n conference = {MFCS},\n pages = {58-61},\n text = {MFCS 2001:58-61},\n booktitle = {Proceedings of Mathematical Foundations of Computer Science (MFCS)}\n}","bibbaseid":"hofmann0001-thestrengthofnonsizeincreasingcomputationintroductionandsummary-2001","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-44683-4_6"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/mfcs/Hofmann01","downloads":0,"keywords":[],"search_terms":["strength","non","size","increasing","computation","introduction","summary","hofmann 0001"],"title":"The Strength of Non-size-increasing Computation (Introduction and Summary)","year":2001,"dataSources":["RyL7vdvadhRYD3Yfj"]}