%0 Conference Paper %1 journals/entcs/BallandB08 %A Balland, Emilie %A Brauner, Paul %B TERMGRAPH@ETAPS %D 2007 %E Mackie, Ian %E Plump, Detlef %I Elsevier %K dblp %N 1 %P 3-17 %T Term-graph Rewriting in Tom Using Relative Positions. %U http://dblp.uni-trier.de/db/conf/termgraph/termgraph2007.html#BallandB08 %V 203

@inproceedings{journals/entcs/BallandB08, added-at = {2023-02-13T00:00:00.000+0100}, author = {Balland, Emilie and Brauner, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2f41e591fb7d339a6b8a83249694dde06/dblp}, booktitle = {TERMGRAPH@ETAPS}, crossref = {conf/termgraph/2007}, editor = {Mackie, Ian and Plump, Detlef}, ee = {https://doi.org/10.1016/j.entcs.2008.03.030}, interhash = {a31a04df72e19702fdbc5823dac97610}, intrahash = {f41e591fb7d339a6b8a83249694dde06}, keywords = {dblp}, number = 1, pages = {3-17}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T10:20:14.000+0200}, title = {Term-graph Rewriting in Tom Using Relative Positions.}, url = {http://dblp.uni-trier.de/db/conf/termgraph/termgraph2007.html#BallandB08}, volume = 203, year = 2007 }