Term rewriting systems as topological dynamical systems

DOI10.4230/LIPICS.RTA.2012.53MaRDI QIDQ5111896zbMATHOpenAlexFDO

Authors Søren B. Andersen, Jakob Grue Simonsen

Publication date 27 May 2020

Full work available at URL http://dx.doi.org/10.4230/LIPIcs.RTA.2012.53

zbMATH Keywords

topologydynamical systemssymbolic dynamicsterm rewriting

Mathematics Subject Classification ID

Symbolic dynamics (37B10) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2043531
• Foundations of Software Science and Computation Structures
• Topological rewriting systems applied to standard bases and syntactic algebras
• scientific article; zbMATH DE number 1889386
• Infinitary rewriting: meta-theory and convergence

Cited in

(2)

• Topological rewriting systems applied to standard bases and syntactic algebras
• scientific article; zbMATH DE number 2043531 (Why is no real title available?)

This page was built for publication: Term rewriting systems as topological dynamical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111896)