Pages that link to "Item:Q758211"
From MaRDI portal
The following pages link to A completion procedure for conditional equations (Q758211):
Displayed 10 items.
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Order-sorted completion: The many-sorted way (Q1177935) (← links)
- Efficient deduction in equality Horn logic by Horn-completion (Q1182107) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077) (← links)
- Reduction techniques for first-order reasoning (Q5881189) (← links)