Pages that link to "Item:Q921913"
From MaRDI portal
The following pages link to Rigid E-unification: NP-completeness and applications to equational matings (Q921913):
Displaying 11 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)
- Theorem proving using equational matings and rigid <i>E</i> -unification (Q4302815) (← 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)
- RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION (Q5249028) (← links)
- Rewriting Techniques and Applications (Q5901562) (← links)
- Simultaneous rigid E-unification is undecidable (Q6560168) (← links)