Amortised Resource Analysis and Typed Polynomial Interpretations. Hofmann 0001, M. & Moser, G. In Proceedings of RTA-TLCA, pages 272-286, 2014. Paper bibtex @inproceedings{ dblp2224100,
title = {Amortised Resource Analysis and Typed Polynomial Interpretations},
author = {Martin Hofmann 0001 and Georg Moser},
author_short = {Hofmann 0001, M. and Moser, G.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2014},
key = {dblp2224100},
id = {dblp2224100},
biburl = {http://www.dblp.org/rec/bibtex/conf/rta/0001M14},
url = {http://dx.doi.org/10.1007/978-3-319-08918-8_19},
conference = {RTA-TLCA},
pages = {272-286},
text = {RTA-TLCA 2014:272-286},
booktitle = {Proceedings of RTA-TLCA}
}
Downloads: 0
{"_id":{"_str":"53c45d9d16cace54670001ed"},"__v":0,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Moser, G."],"bibbaseid":"hofmann0001-moser-amortisedresourceanalysisandtypedpolynomialinterpretations-2014","bibdata":{"title":"Amortised Resource Analysis and Typed Polynomial Interpretations","author":["Martin Hofmann 0001","Georg Moser"],"author_short":["Hofmann 0001, M.","Moser, G."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp2224100","id":"dblp2224100","biburl":"http://www.dblp.org/rec/bibtex/conf/rta/0001M14","url":"http://dx.doi.org/10.1007/978-3-319-08918-8_19","conference":"RTA-TLCA","pages":"272-286","text":"RTA-TLCA 2014:272-286","booktitle":"Proceedings of RTA-TLCA","bibtex":"@inproceedings{ dblp2224100,\n title = {Amortised Resource Analysis and Typed Polynomial Interpretations},\n author = {Martin Hofmann 0001 and Georg Moser},\n author_short = {Hofmann 0001, M. and Moser, G.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp2224100},\n id = {dblp2224100},\n biburl = {http://www.dblp.org/rec/bibtex/conf/rta/0001M14},\n url = {http://dx.doi.org/10.1007/978-3-319-08918-8_19},\n conference = {RTA-TLCA},\n pages = {272-286},\n text = {RTA-TLCA 2014:272-286},\n booktitle = {Proceedings of RTA-TLCA}\n}","bibbaseid":"hofmann0001-moser-amortisedresourceanalysisandtypedpolynomialinterpretations-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-08918-8_19"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/rta/0001M14","creationDate":"2014-07-14T22:45:49.013Z","downloads":0,"keywords":[],"search_terms":["amortised","resource","analysis","typed","polynomial","interpretations","hofmann 0001","moser"],"title":"Amortised Resource Analysis and Typed Polynomial Interpretations","year":2014,"dataSources":["YqMepiKznMdd8CDH2"]}