The following pages link to (Q4036569):
Displaying 8 items.
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- Disjoint essential sets of implicates of a CQ Horn function (Q766268) (← links)
- On renaming a set of clauses as a Horn set (Q1120278) (← links)
- Conditional congruence closure over uninterpreted and interpreted symbols (Q1730315) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- Equational Theorem Proving for Clauses over Strings (Q6118747) (← links)