Standard
Term rewriting systems as topological dynamical systems. / Andersen, Søren Bjerg; Simonsen, Jakob Grue.
23rd International Conference on Rewriting Techniques and Applications (RTA'12). ed. / Ashish Tiwari. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. p. 53-68.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Andersen, SB
& Simonsen, JG 2012,
Term rewriting systems as topological dynamical systems. in A Tiwari (ed.),
23rd International Conference on Rewriting Techniques and Applications (RTA'12). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 53-68, 23rd International Conference on Rewriting Techniques and Applications, Nagoya, Japan,
28/05/2012.
https://doi.org/10.4230/LIPIcs.RTA.2012.53
APA
Andersen, S. B.
, & Simonsen, J. G. (2012).
Term rewriting systems as topological dynamical systems. In A. Tiwari (Ed.),
23rd International Conference on Rewriting Techniques and Applications (RTA'12) (pp. 53-68). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/LIPIcs.RTA.2012.53
Vancouver
Andersen SB
, Simonsen JG.
Term rewriting systems as topological dynamical systems. In Tiwari A, editor, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2012. p. 53-68
https://doi.org/10.4230/LIPIcs.RTA.2012.53
Author
Andersen, Søren Bjerg ; Simonsen, Jakob Grue. / Term rewriting systems as topological dynamical systems. 23rd International Conference on Rewriting Techniques and Applications (RTA'12). editor / Ashish Tiwari. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. pp. 53-68
Bibtex
@inproceedings{11cd2e7504a346b5a054f1a1939aa414,
title = "Term rewriting systems as topological dynamical systems",
author = "Andersen, {S{\o}ren Bjerg} and Simonsen, {Jakob Grue}",
year = "2012",
doi = "10.4230/LIPIcs.RTA.2012.53",
language = "English",
isbn = "978-3-939897-38-5",
pages = "53--68",
editor = "Ashish Tiwari",
booktitle = "23rd International Conference on Rewriting Techniques and Applications (RTA'12)",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
note = "23rd International Conference on Rewriting Techniques and Applications, RTA'12 ; Conference date: 28-05-2012 Through 02-06-2012",
}
RIS
TY - GEN
T1 - Term rewriting systems as topological dynamical systems
AU - Andersen, Søren Bjerg
AU - Simonsen, Jakob Grue
N1 - Conference code: 23
PY - 2012
Y1 - 2012
U2 - 10.4230/LIPIcs.RTA.2012.53
DO - 10.4230/LIPIcs.RTA.2012.53
M3 - Article in proceedings
SN - 978-3-939897-38-5
SP - 53
EP - 68
BT - 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
A2 - Tiwari, Ashish
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
T2 - 23rd International Conference on Rewriting Techniques and Applications
Y2 - 28 May 2012 through 2 June 2012
ER -