Pages that link to "Item:Q1182107"

The following pages link to Efficient deduction in equality Horn logic by Horn-completion (Q1182107):

Displaying 15 items.

• Equality and abductive residua for Horn clauses (Q689280) (← links)
• On the relation between resolution based and completion based theorem proving (Q758218) (← links)
• On solving the equality problem in theories defined by Horn clauses (Q1085152) (← links)
• Incorporating equality into logic programming via surface deduction (Q1087023) (← links)
• Graph-based proof procedures for horn clauses (Q1188938) (← links)
• Refutational theorem proving for hierarchic first-order theories (Q1328182) (← links)
• Efficient encodings of first-order Horn formulas in equational logic (Q1799100) (← links)
• Horn equational theories and paramodulation (Q1824409) (← links)
• Theorem proving with ordering and equality constrained clauses (Q1897557) (← links)
• Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
• A goal-type driven method of solving Horn logic with equality (Q2277873) (← links)
• (Q4732442) (← links)
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras (Q4856660) (← links)
• A maximal-literal unit strategy for horn clauses (Q5881264) (← links)
• An inference system for horn clause logic with equality (Q5881306) (← links)