Pages that link to "Item:Q5055773"

The following pages link to On fairness of completion-based theorem proving strategies (Q5055773):

Displaying 3 items.

• On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
• Relative termination via dependency pairs (Q2360875) (← links)
• Completion procedures as semidecision procedures (Q5881279) (← links)