Invariants and closures in the theory of rewrite systems

DOI10.1007/BF01213534zbMath0857.68067MaRDI QIDQ1815344

Stefan Rönn

Publication date: 10 November 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

invariantsrewrite systemsclosuresrewrite operator

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• A completeness theorem for Kleene algebras and the algebra of regular events
• Complete Sets of Reductions for Some Equational Theories
• Two Complete Axiom Systems for the Algebra of Regular Events
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Invariants and closures in the theory of rewrite systems