%0 Conference Paper %1 conf/rta/BallandM08 %A Balland, Emilie %A Moreau, Pierre-Etienne %B RTA %D 2008 %E Voronkov, Andrei %I Springer %K %P 32-47 %T Term-Graph Rewriting Via Explicit Paths. %U http://dblp.uni-trier.de/db/conf/rta/rta2008.html#BallandM08 %V 5117 %@ 978-3-540-70588-8

@inproceedings{conf/rta/BallandM08, added-at = {2023-12-13T07:17:55.000+0100}, author = {Balland, Emilie and Moreau, Pierre-Etienne}, biburl = {https://www.bibsonomy.org/bibtex/292db152a6ba80b22d5907cbebc38e017/admin}, booktitle = {RTA}, crossref = {conf/rta/2008}, editor = {Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-540-70590-1_3}, interhash = {b754ee3e25dfec518c6e12a3443fd1d5}, intrahash = {92db152a6ba80b22d5907cbebc38e017}, isbn = {978-3-540-70588-8}, keywords = {}, pages = {32-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:17:55.000+0100}, title = {Term-Graph Rewriting Via Explicit Paths.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2008.html#BallandM08}, volume = 5117, year = 2008 }