Pages that link to "Item:Q4647498"
From MaRDI portal
The following pages link to Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification (Q4647498):
Displayed 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)
- Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430) (← links)
- What you always wanted to know about rigid E-unification (Q5235253) (← links)