The following pages link to (Q3129297):
Displaying 9 items.
- 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)
- On the undecidability of second-order unification (Q1854349) (← links)
- Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430) (← links)
- Monadic simultaneous rigid \(E\)-unification (Q1960540) (← links)
- Understanding Resolution Proofs through Herbrand’s Theorem (Q2851942) (← links)
- Monadic simultaneous rigid E-unification and related problems (Q4571948) (← links)
- On quasitautologies (Q4610330) (← links)
- (Q4790398) (← links)