Invariants and closures in the theory of rewrite systems
From MaRDI portal
(Redirected from Publication:1815344)
Recommendations
- Infinitary rewriting: closure operators, equivalences and models
- Complete involutive rewriting systems
- Automated Reasoning
- Infinitary rewriting: foundations revisited
- scientific article; zbMATH DE number 1419256
- Existence, Uniqueness, and Construction of Rewrite Systems
- Invariants and well-foundedness in program algebra
- Consistency and Completeness of Rewriting in the Calculus of Constructions
- Consistency and Completeness of Rewriting in the Calculus of Constructions
- scientific article; zbMATH DE number 1754582
Cites work
- scientific article; zbMATH DE number 3827173 (Why is no real title available?)
- scientific article; zbMATH DE number 3705887 (Why is no real title available?)
- scientific article; zbMATH DE number 42096 (Why is no real title available?)
- scientific article; zbMATH DE number 3310090 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- 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
Cited in
(5)- scientific article; zbMATH DE number 1419256 (Why is no real title available?)
- Rewrite Closure and CF Hedge Automata
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Complete involutive rewriting systems
- Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems
This page was built for publication: Invariants and closures in the theory of rewrite systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815344)
