Pages that link to "Item:Q5881279"
From MaRDI portal
The following pages link to Completion procedures as semidecision procedures (Q5881279):
Displaying 9 items.
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- Semi-initial completions (Q1072629) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- A rewriting approach to satisfiability procedures. (Q1401930) (← links)
- A strong restriction of the inductive completion procedure (Q1824381) (← links)
- Equational completion by proof transformation (Q3993260) (← links)
- On proving properties of completion strategies (Q5055777) (← links)
- Infinite runs in abstract completion (Q5111315) (← links)
- Induction using term orderings (Q5210765) (← links)