Pages that link to "Item:Q1917087"
From MaRDI portal
The following pages link to Proof lengths for equational completion (Q1917087):
Displayed 7 items.
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Intersection of finitely generated congruences over term algebra (Q1399965) (← links)
- Term rewriting restricted to ground terms. (Q1401322) (← links)
- On ground tree transformations and congruences induced by tree automata. (Q1401416) (← links)
- A rewriting approach to satisfiability procedures. (Q1401930) (← links)
- Congruential complements of ground term rewrite systems (Q1575250) (← links)
- Restricted ground tree transducers (Q1589437) (← links)