Pages that link to "Item:Q3655204"
From MaRDI portal
The following pages link to Termination Modulo Combinations of Equational Theories (Q3655204):
Displaying 13 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Normal forms and normal theories in conditional rewriting (Q730473) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Order-sorted equational generalization algorithm revisited (Q2134938) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- Metalevel algorithms for variant satisfiability (Q2413027) (← links)
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Q2817918) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- (Q5020553) (← links)
- (Q5020960) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
