Pages that link to "Item:Q2643544"
From MaRDI portal
The following pages link to Modular and incremental proofs of AC-termination (Q2643544):
Displayed 5 items.
- Elimination transformations for associative-commutative rewriting systems (Q877834) (← links)
- Enhancing dependency pair method using strong computability in simply-typed term rewriting (Q2460908) (← links)
- Automating the dependency pair method (Q2486583) (← links)
- Modular and incremental automated termination proofs (Q2583289) (← links)
- Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (Q3522011) (← links)