%0 Conference Paper %1 conf/rta/0001PV16 %A Nishida, Naoki %A Palacios, Adrián %A Vidal, Germán %B FSCD %D 2016 %E Kesner, Delia %E Pientka, Brigitte %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 28:1-28:18 %T Reversible Term Rewriting. %U http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#0001PV16 %V 52 %@ 978-3-95977-010-1

@inproceedings{conf/rta/0001PV16, added-at = {2019-09-25T00:00:00.000+0200}, author = {Nishida, Naoki and Palacios, Adrián and Vidal, Germán}, biburl = {https://www.bibsonomy.org/bibtex/21c3ce619d2df7d7f0caca947e54fa30c/dblp}, booktitle = {FSCD}, crossref = {conf/rta/2016}, editor = {Kesner, Delia and Pientka, Brigitte}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2016.28}, interhash = {0a2dc7cf70b9148f1fe4af8450ab9c12}, intrahash = {1c3ce619d2df7d7f0caca947e54fa30c}, isbn = {978-3-95977-010-1}, keywords = {dblp}, pages = {28:1-28:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:50:09.000+0100}, title = {Reversible Term Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#0001PV16}, volume = 52, year = 2016 }