Pages that link to "Item:Q671659"

The following pages link to The undecidability of simultaneous rigid E-unification (Q671659):

Displaying 22 items.

• Superposition-based equality handling for analytic tableaux (Q877891) (← links)
• Rigid E-unification: NP-completeness and applications to equational matings (Q921913) (← links)
• The undecidability of the unification and matching problem for canonical theories (Q1077931) (← links)
• Proof search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification (Q1272615) (← links)
• Decidability and complexity of simultaneous rigid E-unification with one variable and related results (Q1575636) (← links)
• \(\forall \exists^{5}\)-equational theory of context unification is undecidable (Q1607219) (← 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)
• Special cases and substitutes for rigid \(E\)-unification (Q1961709) (← links)
• Free Variables and Theories: Revisiting Rigid E-unification (Q2964448) (← links)
• Monadic simultaneous rigid E-unification and related problems (Q4571948) (← links)
• On quasitautologies (Q4610330) (← links)
• Cyclic connections (Q4645228) (← links)
• Incremental theory reasoning methods for semantic tableaux (Q4645229) (← links)
• Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification (Q4647498) (← links)
• A practical integration of first-order reasoning and decision procedures (Q5234694) (← 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)
• (Q5419868) (← links)
• Simultaneous rigid E-unification is undecidable (Q6560168) (← links)