Pages that link to "Item:Q758211"
From MaRDI portal
The following pages link to A completion procedure for conditional equations (Q758211):
Displaying 12 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)
- Partial completion of equational theories (Q1592635) (← 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)
- Equation solving in conditional AC-theories (Q5096202) (← links)
- Reduction techniques for first-order reasoning (Q5881189) (← links)