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). red. / Ashish Tiwari. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. s. 53-68.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Andersen, SB
& Simonsen, JG 2012,
Term rewriting systems as topological dynamical systems. i A Tiwari (red.),
23rd International Conference on Rewriting Techniques and Applications (RTA'12). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 53-68, 23rd International Conference on Rewriting Techniques and Applications, Nagoya, Japan,
28/05/2012.
https://doi.org/10.4230/LIPIcs.RTA.2012.53APA
Andersen, S. B.
, & Simonsen, J. G. (2012).
Term rewriting systems as topological dynamical systems. I A. Tiwari (red.),
23rd International Conference on Rewriting Techniques and Applications (RTA'12) (s. 53-68). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/LIPIcs.RTA.2012.53Vancouver
Andersen SB
, Simonsen JG.
Term rewriting systems as topological dynamical systems. I Tiwari A, red., 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2012. s. 53-68
https://doi.org/10.4230/LIPIcs.RTA.2012.53Author
Andersen, Søren Bjerg ; Simonsen, Jakob Grue. / Term rewriting systems as topological dynamical systems. 23rd International Conference on Rewriting Techniques and Applications (RTA'12). red. / Ashish Tiwari. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. s. 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 -
