scientific article
From MaRDI portal
Publication:3811748
zbMath0661.68092MaRDI QIDQ3811748
Publication date: 1988
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 (9)
A geometrical approach to multiset orderings ⋮ T-string unification: Unifying prefixes in non-classical proof methods ⋮ Unification in Boolean rings and Abelian groups ⋮ Unification in a combination of arbitrary disjoint equational theories ⋮ Matching - a special case of unification? ⋮ Boolean unification - the story so far ⋮ On equational theories, unification, and (un)decidability ⋮ Termination of narrowing revisited ⋮ Competing for the \(AC\)-unification race
This page was built for publication:
