Computing With a Fixed Number of Pointers (Invited Talk). Hofmann 0001, M. & Ramyaa In Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pages 3-18, 2013.
Paper bibtex @inproceedings{ dblp2341600,
title = {Computing With a Fixed Number of Pointers (Invited Talk)},
author = {Martin Hofmann 0001 and Ramyaa},
author_short = {Hofmann 0001, M. and Ramyaa},
bibtype = {inproceedings},
type = {inproceedings},
year = {2013},
key = {dblp2341600},
id = {dblp2341600},
biburl = {http://www.dblp.org/rec/bibtex/conf/fsttcs/0001R13},
url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.3},
conference = {FSTTCS},
pages = {3-18},
text = {FSTTCS 2013:3-18},
booktitle = {Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS)}
}
Downloads: 0
{"_id":{"_str":"52afc7fb9eb585cc260039c2"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Ramyaa"],"bibbaseid":"hofmann0001-ramyaa-computingwithafixednumberofpointersinvitedtalk-2013","bibdata":{"title":"Computing With a Fixed Number of Pointers (Invited Talk)","author":["Martin Hofmann 0001","Ramyaa"],"author_short":["Hofmann 0001, M.","Ramyaa"],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2341600","id":"dblp2341600","biburl":"http://www.dblp.org/rec/bibtex/conf/fsttcs/0001R13","url":"http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.3","conference":"FSTTCS","pages":"3-18","text":"FSTTCS 2013:3-18","booktitle":"Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS)","bibtex":"@inproceedings{ dblp2341600,\n title = {Computing With a Fixed Number of Pointers (Invited Talk)},\n author = {Martin Hofmann 0001 and Ramyaa},\n author_short = {Hofmann 0001, M. and Ramyaa},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2341600},\n id = {dblp2341600},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fsttcs/0001R13},\n url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.3},\n conference = {FSTTCS},\n pages = {3-18},\n text = {FSTTCS 2013:3-18},\n booktitle = {Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS)}\n}","bibbaseid":"hofmann0001-ramyaa-computingwithafixednumberofpointersinvitedtalk-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.3"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fsttcs/0001R13","downloads":0,"keywords":[],"search_terms":["computing","fixed","number","pointers","invited","talk","hofmann 0001","ramyaa"],"title":"Computing With a Fixed Number of Pointers (Invited Talk)","year":2013,"dataSources":["ZSvrzbxG6ejfz69cd"]}