%0 Conference Paper %1 conf/fossacs/HofmannRS13 %A Hofmann, Martin %A Ramyaa, Ramyaa %A Schöpp, Ulrich %B FoSSaCS %D 2013 %E Pfenning, Frank %I Springer %K dblp %P 321-336 %T Pure Pointer Programs and Tree Isomorphism. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2013.html#HofmannRS13 %V 7794 %@ 978-3-642-37074-8

@inproceedings{conf/fossacs/HofmannRS13, added-at = {2018-06-26T00:00:00.000+0200}, author = {Hofmann, Martin and Ramyaa, Ramyaa and Schöpp, Ulrich}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2747baee3682b6b988a0df56420e5b247/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2013}, editor = {Pfenning, Frank}, ee = {https://doi.org/10.1007/978-3-642-37075-5_21}, interhash = {b39eba9d9b1d44aed5405c576bbdc8f9}, intrahash = {747baee3682b6b988a0df56420e5b247}, isbn = {978-3-642-37074-8}, keywords = {dblp}, pages = {321-336}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:12:44.000+0200}, title = {Pure Pointer Programs and Tree Isomorphism.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2013.html#HofmannRS13}, volume = 7794, year = 2013 }