Pages that link to "Item:Q3806799"
From MaRDI portal
The following pages link to Existence, Uniqueness, and Construction of Rewrite Systems (Q3806799):
Displaying 20 items.
- Effective codescent morphisms in the varieties determined by convergent term rewriting systems. (Q278228) (← links)
- Multi-completion with termination tools (Q352956) (← links)
- Schematization of infinite sets of rewrite rules generated by divergent completion processes (Q1262755) (← links)
- A finiteness condition for rewriting systems (Q1331943) (← links)
- A property of left-linear rewrite systems preserving recognizability (Q1575563) (← links)
- Rewriting systems over similarity and generalized pseudometric spaces and their properties (Q1677217) (← links)
- Invariants and closures in the theory of rewrite systems (Q1815344) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- Canonical Inference for Implicational Systems (Q3541718) (← links)
- (Q3559957) (← links)
- Antimirov and Mosses’s Rewrite System Revisited (Q3602800) (← links)
- (Q4012139) (← links)
- <i>J</i>-SYSTEM RECONSTRUCT/ABILITY: A FORMALIZED STUDY (Q4489093) (← links)
- (Q4704206) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- (Q4942275) (← links)
- Divergence phenomena during completion (Q5055775) (← links)
- Open problems in rewriting (Q5055780) (← links)
- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra (Q5747888) (← links)
- Linear completion (Q5881280) (← links)