scientific article
From MaRDI portal
Publication:3779784
zbMath0638.68101MaRDI QIDQ3779784
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (18)
A new approach to general E-unification based on conditional rewriting systems ⋮ An optimal narrowing strategy for general canonical systems ⋮ Completeness results for basic narrowing ⋮ Higher-order unification via combinators ⋮ Negation with logical variables in conditional rewriting ⋮ Detecting redundant narrowing derivations by the LSE-SL reducibility test ⋮ Narrowing directed by a graph of terms ⋮ Unification modulo an equality theory for equational logic programming ⋮ Normal forms in combinatory logic ⋮ Enumerating outer narrowing derivations for constructor-based term rewriting systems ⋮ Equation solving in conditional AC-theories ⋮ Modular Termination of Basic Narrowing ⋮ Completion for unification ⋮ A combinatory logic approach to higher-order E-unification ⋮ On the connection between narrowing and proof by consistency ⋮ Complete sets of transformations for general E-unification ⋮ Basic narrowing revisited ⋮ Termination of narrowing revisited
This page was built for publication:
