Amortised Resource Analysis and Typed Polynomial Interpretations (extended version). Hofmann 0001, M. & Moser, G. CoRR, 2014. Paper bibtex @article{ dblp2052764,
title = {Amortised Resource Analysis and Typed Polynomial Interpretations (extended version)},
author = {Martin Hofmann 0001 and Georg Moser},
author_short = {Hofmann 0001, M. and Moser, G.},
bibtype = {article},
type = {article},
year = {2014},
key = {dblp2052764},
id = {dblp2052764},
biburl = {http://www.dblp.org/rec/bibtex/journals/corr/HofmannM14},
url = {http://arxiv.org/abs/1402.1922},
journal = {CoRR},
volume = {abs/1402.1922},
text = {CoRR abs/1402.1922 (2014)}
}
Downloads: 0
{"_id":{"_str":"53999be577ca42a10100210d"},"__v":0,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Moser, G."],"bibbaseid":"hofmann0001-moser-amortisedresourceanalysisandtypedpolynomialinterpretationsextendedversion-2014","bibdata":{"title":"Amortised Resource Analysis and Typed Polynomial Interpretations (extended version)","author":["Martin Hofmann 0001","Georg Moser"],"author_short":["Hofmann 0001, M.","Moser, G."],"bibtype":"article","type":"article","year":"2014","key":"dblp2052764","id":"dblp2052764","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/HofmannM14","url":"http://arxiv.org/abs/1402.1922","journal":"CoRR","volume":"abs/1402.1922","text":"CoRR abs/1402.1922 (2014)","bibtex":"@article{ dblp2052764,\n title = {Amortised Resource Analysis and Typed Polynomial Interpretations (extended version)},\n author = {Martin Hofmann 0001 and Georg Moser},\n author_short = {Hofmann 0001, M. and Moser, G.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp2052764},\n id = {dblp2052764},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/HofmannM14},\n url = {http://arxiv.org/abs/1402.1922},\n journal = {CoRR},\n volume = {abs/1402.1922},\n text = {CoRR abs/1402.1922 (2014)}\n}","bibbaseid":"hofmann0001-moser-amortisedresourceanalysisandtypedpolynomialinterpretationsextendedversion-2014","role":"author","urls":{"Paper":"http://arxiv.org/abs/1402.1922"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/HofmannM14","downloads":0,"keywords":[],"search_terms":["amortised","resource","analysis","typed","polynomial","interpretations","extended","version","hofmann 0001","moser"],"title":"Amortised Resource Analysis and Typed Polynomial Interpretations (extended version)","year":2014,"dataSources":["8LmvohiXDucf7tBCD"]}