Pages that link to "Item:Q1961709"
From MaRDI portal
The following pages link to Special cases and substitutes for rigid \(E\)-unification (Q1961709):
Displaying 9 items.
- What you always wanted to know about rigid \(E\)-unification (Q1382154) (← links)
- Decidability and complexity of simultaneous rigid E-unification with one variable and related results (Q1575636) (← links)
- Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430) (← links)
- Monadic simultaneous rigid \(E\)-unification (Q1960540) (← links)
- (Q3838764) (← links)
- Theorem proving using equational matings and rigid <i>E</i> -unification (Q4302815) (← links)
- Monadic simultaneous rigid E-unification and related problems (Q4571948) (← 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)