Pages that link to "Item:Q1085152"
From MaRDI portal
The following pages link to On solving the equality problem in theories defined by Horn clauses (Q1085152):
Displaying 11 items.
- On word problems in Horn theories (Q757095) (← links)
- Efficient deduction in equality Horn logic by Horn-completion (Q1182107) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- A goal-type driven method of solving Horn logic with equality (Q2277873) (← links)
- (Q3129297) (← links)
- The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic (Q3677734) (← links)
- (Q4732442) (← links)
- (Q4790398) (← 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)
- Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation (Q5881277) (← links)