The following pages link to (Q5620583):
Displayed 6 items.
- The undecidability of simultaneous rigid E-unification (Q671659) (← links)
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Cut-type rules for calculi of general type (Q1256457) (← links)
- Sequent forms of Herbrand theorem and their applications (Q2502163) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)