scientific article; zbMATH DE number 4041327
From MaRDI portal
Publication:3779784
zbMATH Open0638.68101MaRDI QIDQ3779784FDOQ3779784
Authors: Pierre Réty 
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
Cited In (19)
- Equation solving in conditional AC-theories
- Enumerating outer narrowing derivations for constructor-based term rewriting systems
- Negation with logical variables in conditional rewriting
- Complete sets of transformations for general E-unification
- Normal forms in combinatory logic
- Termination of narrowing revisited
- An implementation of narrowing
- Completeness results for basic narrowing
- Higher-order unification via combinators
- Unification modulo an equality theory for equational logic programming
- Modular Termination of Basic Narrowing
- Detecting redundant narrowing derivations by the LSE-SL reducibility test
- Basic narrowing revisited
- Completion for unification
- Narrowing directed by a graph of terms
- On the connection between narrowing and proof by consistency
- An optimal narrowing strategy for general canonical systems
- A new approach to general E-unification based on conditional rewriting 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)
