Pages that link to "Item:Q921913"

The following pages link to Rigid E-unification: NP-completeness and applications to equational matings (Q921913):

Displaying 7 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)
• Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
• Efficient ground completion (Q5055736) (← links)
• A completion-based method for mixed universal and rigid E-unification (Q5210805) (← links)
• What you always wanted to know about rigid E-unification (Q5235253) (← links)