Pages that link to "Item:Q1101209"
From MaRDI portal
The following pages link to A class of confluent term rewriting systems and unification (Q1101209):
Displaying 14 items.
- On ground-confluence of term rewriting systems (Q913496) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- A class of confluent term rewriting systems and unification (Q1101209) (← links)
- Enumerating outer narrowing derivations for constructor-based term rewriting systems (Q1124376) (← links)
- Basic narrowing revisited (Q1824412) (← links)
- Confluence of curried term-rewriting systems (Q1907275) (← links)
- Confluence of orthogonal term rewriting systems in the prototype verification system (Q2362205) (← links)
- Unification modulo an equality theory for equational logic programming (Q2639627) (← links)
- Modular termination of basic narrowing and equational unification (Q2889572) (← links)
- (Q4472207) (← links)
- Term Rewriting and Applications (Q5703842) (← links)
- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra (Q5747888) (← links)
- Confluence of the disjoint union of conditional term rewriting systems (Q5881285) (← links)
- A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)