@inproceedings{ dblp2340410,
  title = {Pure Pointer Programs and Tree Isomorphism},
  author = {Martin Hofmann 0001 and Ramyaa Ramyaa and Ulrich Schöpp},
  author_short = {Hofmann 0001, M. and Ramyaa, R. and Schöpp, U.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp2340410},
  id = {dblp2340410},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fossacs/HofmannRS13},
  url = {http://dx.doi.org/10.1007/978-3-642-37075-5_21},
  conference = {FOSSACS},
  pages = {321-336},
  text = {FoSSaCS 2013:321-336},
  booktitle = {Proceedings of FOSSACS}
}

{"_id":{"_str":"52a3062f9eb585cc26001f41"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Ramyaa, R.","Schöpp, U."],"bibbaseid":"hofmann0001-ramyaa-schpp-purepointerprogramsandtreeisomorphism-2013","bibdata":{"title":"Pure Pointer Programs and Tree Isomorphism","author":["Martin Hofmann 0001","Ramyaa Ramyaa","Ulrich Schöpp"],"author_short":["Hofmann 0001, M.","Ramyaa, R.","Schöpp, U."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2340410","id":"dblp2340410","biburl":"http://www.dblp.org/rec/bibtex/conf/fossacs/HofmannRS13","url":"http://dx.doi.org/10.1007/978-3-642-37075-5_21","conference":"FOSSACS","pages":"321-336","text":"FoSSaCS 2013:321-336","booktitle":"Proceedings of FOSSACS","bibtex":"@inproceedings{ dblp2340410,\n title = {Pure Pointer Programs and Tree Isomorphism},\n author = {Martin Hofmann 0001 and Ramyaa Ramyaa and Ulrich Schöpp},\n author_short = {Hofmann 0001, M. and Ramyaa, R. and Schöpp, U.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2340410},\n id = {dblp2340410},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fossacs/HofmannRS13},\n url = {http://dx.doi.org/10.1007/978-3-642-37075-5_21},\n conference = {FOSSACS},\n pages = {321-336},\n text = {FoSSaCS 2013:321-336},\n booktitle = {Proceedings of FOSSACS}\n}","bibbaseid":"hofmann0001-ramyaa-schpp-purepointerprogramsandtreeisomorphism-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-37075-5_21"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fossacs/HofmannRS13","downloads":0,"keywords":[],"search_terms":["pure","pointer","programs","tree","isomorphism","hofmann 0001","ramyaa","schöpp"],"title":"Pure Pointer Programs and Tree Isomorphism","year":2013,"dataSources":["iRRkfNkfGZvyREPi3"]}