scientific article
From MaRDI portal
Publication:3786017
zbMath0643.68135MaRDI QIDQ3786017
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
An algebraic glimpse at bunched implications and separation logic ⋮ Reduction rules for resolution-based systems ⋮ Unification theory ⋮ Combining matching algorithms: The regular case ⋮ Unification in a combination of arbitrary disjoint equational theories ⋮ Matching - a special case of unification? ⋮ Complete sets of transformations for general E-unification ⋮ Unification problem in equational theories ⋮ On equational theories, unification, and (un)decidability ⋮ A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
This page was built for publication:
