Pages that link to "Item:Q673620"
From MaRDI portal
The following pages link to Redundancy criteria for constrained completion (Q673620):
Displaying 5 items.
- Local simplification (Q1271570) (← links)
- Rewrite semantics for production rule systems: Theory and applications (Q4647544) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Local simplification (Q5096297) (← links)
- On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs (Q5200103) (← links)
