Pages that link to "Item:Q1960430"
From MaRDI portal
The following pages link to Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430):
Displaying 4 items.
- Decidability and complexity of simultaneous rigid E-unification with one variable and related results (Q1575636) (← links)
- Monadic simultaneous rigid \(E\)-unification (Q1960540) (← links)
- The undecidability of proof search when equality is a logical connective (Q2134939) (← links)
- Sequent forms of Herbrand theorem and their applications (Q2502163) (← links)