The following pages link to (Q2778873):
Displayed 12 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Elimination transformations for associative-commutative rewriting systems (Q877834) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Relative termination via dependency pairs (Q2360875) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- Reducing Relative Termination to Dependency Pair Problems (Q3454090) (← links)
- Effectively Checking the Finite Variant Property (Q3522010) (← links)
- Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (Q3522011) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- AC-KBO revisited (Q4593023) (← links)
- Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures (Q5170162) (← links)
- AC Completion with Termination Tools (Q5200044) (← links)