scientific article; zbMATH DE number 4041327
From MaRDI portal
Publication:3779784
Recommendations
Cited in
(21)- Termination of narrowing revisited
- Enumerating outer narrowing derivations for constructor-based term rewriting systems
- Completion for unification
- Complete sets of transformations for general E-unification
- Completeness results for basic narrowing
- Basic narrowing revisited
- Normal forms in combinatory logic
- Higher-order unification via combinators
- Unification modulo an equality theory for equational logic programming
- Enhancing top-down solving with widening and narrowing
- Modular Termination of Basic Narrowing
- An implementation of narrowing
- scientific article; zbMATH DE number 512906 (Why is no real title available?)
- Negation with logical variables in conditional rewriting
- Detecting redundant narrowing derivations by the LSE-SL reducibility test
- Narrowing directed by a graph of terms
- Equation solving in conditional AC-theories
- On the connection between narrowing and proof by consistency
- A new approach to general E-unification based on conditional rewriting systems
- An optimal narrowing strategy for general canonical systems
- A combinatory logic approach to higher-order E-unification
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)
