The following pages link to (Q5581594):
Displayed 4 items.
- Deduction search in calculi of general type (Q1245945) (← links)
- Proof-search in intuitionistic logic based on constraint satisfaction (Q4645245) (← links)
- Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification (Q4647498) (← links)
- What you always wanted to know about rigid E-unification (Q5235253) (← links)