scientific article; zbMATH DE number 4041327
From MaRDI portal
Publication:3779784
Recommendations
Cited in
(20)- Complete sets of transformations for general E-unification
- Basic narrowing revisited
- Completeness results for basic narrowing
- Enhancing top-down solving with widening and narrowing
- Higher-order unification via combinators
- A combinatory logic approach to higher-order E-unification
- Normal forms in combinatory logic
- Unification modulo an equality theory for equational logic programming
- Narrowing directed by a graph of terms
- Enumerating outer narrowing derivations for constructor-based term rewriting systems
- Termination of narrowing revisited
- Modular Termination of Basic Narrowing
- On the connection between narrowing and proof by consistency
- Completion for unification
- Detecting redundant narrowing derivations by the LSE-SL reducibility test
- A new approach to general E-unification based on conditional rewriting systems
- An implementation of narrowing
- An optimal narrowing strategy for general canonical systems
- Negation with logical variables in conditional rewriting
- Equation solving in conditional AC-theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3779784)
