The following pages link to Basic narrowing revisited (Q1824412):
Displaying 28 items.
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- On completeness of narrowing strategies (Q912605) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- Enumerating outer narrowing derivations for constructor-based term rewriting systems (Q1124376) (← links)
- Complete sets of transformations for general E-unification (Q1262754) (← links)
- Completeness results for basic narrowing (Q1328184) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Theorem proving modulo (Q1431339) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- A Finite Representation of the Narrowing Space (Q3453648) (← links)
- (Q3490928) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)
- Uniform Lazy Narrowing (Q4461934) (← links)
- Incremental theory reasoning methods for semantic tableaux (Q4645229) (← links)
- Proving ground confluence and inductive validity in constructor based equational specifications (Q5044723) (← links)
- Detecting redundant narrowing derivations by the LSE-SL reducibility test (Q5055750) (← links)
- Narrowing directed by a graph of terms (Q5055753) (← links)
- Improving transformation systems for general E-unification (Q5055788) (← links)
- On narrowing, refutation proofs and constraints (Q5055818) (← links)
- Equation solving in conditional AC-theories (Q5096202) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)
- On the connection between narrowing and proof by consistency (Q5210767) (← links)
- A completion-based method for mixed universal and rigid E-unification (Q5210805) (← links)
- A new approach to general E-unification based on conditional rewriting systems (Q5881211) (← links)
- An optimal narrowing strategy for general canonical systems (Q5881212) (← links)
- Unification theory (Q6169561) (← links)
