@inproceedings{RTA-2012-AndersenS,
author = "Soren Bjerg Andersen and Jakob Grue Simonsen",
booktitle = "{Proceedings of the 23rd International Conference on Rewriting Techniques and Applications}",
doi = "10.4230/LIPIcs.RTA.2012.53",
editor = "Ashish Tiwari",
isbn = "978-3-939897-38-5",
pages = "53--68",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{Term Rewriting Systems as Topological Dynamical Systems}",
volume = 15,
year = 2012,
}
Tags: