The following pages link to (Q4109666):
Displaying 5 items.
- The undecidability of simultaneous rigid E-unification (Q671659) (← links)
- Decidability and complexity of simultaneous rigid E-unification with one variable and related results (Q1575636) (← links)
- Logic with equality: Partisan corroboration and shifted pairing (Q1854299) (← links)
- Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification (Q4647498) (← links)
- On the Mints Hierarchy in First-Order Intuitionistic Logic (Q5892381) (← links)