Pages that link to "Item:Q3489486"
From MaRDI portal
The following pages link to Unnecessary inferences in associative-commutative completion procedures (Q3489486):
Displaying 5 items.
- Redundancy criteria for constrained completion (Q673620) (← links)
- Some experiments with a completion theorem prover (Q1186705) (← links)
- A path ordering for proving termination of AC rewrite systems (Q1891259) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Redundancy criteria for constrained completion (Q5055781) (← links)
