scientific article
From MaRDI portal
Publication:3338225
zbMath0547.03024MaRDI QIDQ3338225
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equational classesdecomposable theoriesdecomposition-merging-normalization processequational unification algorithmMINUS theories
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
Narrowing directed by a graph of terms ⋮ Rewriting with a nondeterministic choice operator ⋮ Unification problems with one-sided distributivity ⋮ Unification in combinations of collapse-free regular theories ⋮ History and basic features of the critical-pair/completion procedure ⋮ Conditional equational theories and complete sets of transformations ⋮ An improved general \(E\)-unification method ⋮ Unification in a combination of arbitrary disjoint equational theories ⋮ Complete sets of transformations for general E-unification ⋮ Unification problem in equational theories ⋮ On equational theories, unification, and (un)decidability ⋮ Refutational theorem proving using term-rewriting systems
This page was built for publication:
