Pages that link to "Item:Q3655204"
From MaRDI portal
The following pages link to Termination Modulo Combinations of Equational Theories (Q3655204):
Displaying 26 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Normal forms and normal theories in conditional rewriting (Q730473) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Termination and completion modulo associativity, commutativity and identity (Q1199927) (← links)
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← 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)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- Metalevel algorithms for variant satisfiability (Q2413027) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Q2817918) (← links)
- Algebraic Notions of Termination (Q3003302) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- (Q5020553) (← links)
- (Q5020960) (← links)
- Dummy elimination in equational rewriting (Q5055853) (← links)
- (Q5094148) (← links)
- (Q5111441) (← links)
- An universal termination condition for solving goals in equational languages (Q5881302) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
- Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)
- Building correct-by-construction systems with formal patterns (Q6562511) (← links)
