The following pages link to (Q3817656):
Displaying 11 items.
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077) (← links)
- Proof normalization for resolution and paramodulation (Q5055708) (← links)
- Completion-time optimization of rewrite-time goal solving (Q5055711) (← links)
- Conditional semi-Thue systems for presenting monoids (Q5096810) (← links)
- Proving group isomorphism theorems (Q5881193) (← links)
- Implementing contextual rewriting (Q5881200) (← links)
- A maximal-literal unit strategy for horn clauses (Q5881264) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- Completion of first-order clauses with equality by strict superposition (Q5881276) (← links)
- Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation (Q5881277) (← links)
