Term rewriting systems as topological dynamical systems

DOI10.4230/LIPICS.RTA.2012.53zbMATH Open1437.68074OpenAlexW1564400444MaRDI QIDQ5111896FDOQ5111896

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

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

zbMATH Keywords

topologydynamical systemssymbolic dynamicsterm rewriting

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)