Pages that link to "Item:Q1575636"

The following pages link to Decidability and complexity of simultaneous rigid E-unification with one variable and related results (Q1575636):

Displayed 4 items.

• The undecidability of simultaneous rigid E-unification (Q671659) ‎ (← 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)
• Monadic simultaneous rigid \(E\)-unification (Q1960540) ‎ (← links)