scientific article
From MaRDI portal
Publication:3338215
zbMath0547.03011MaRDI QIDQ3338215
Publication date: 1984
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)
Mark Stickel: his earliest work ⋮ On unification: Equational theories are not bounded ⋮ Rewriting, and equational unification: the higher-order cases ⋮ Open problems in rewriting ⋮ A class of confluent term rewriting systems and unification ⋮ Incremental constraint satisfaction for equational logic programming ⋮ Finite generation of ambiguity in context-free languages ⋮ Inheritance hierarchies: Semantics and unifications ⋮ Propositional calculus problems in CHIP ⋮ What Is Essential Unification? ⋮ IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM ⋮ Combining matching algorithms: The regular case ⋮ The theory of idempotent semigroups is of unification type zero ⋮ Matching - a special case of unification? ⋮ Unnamed Item ⋮ Complete sets of transformations for general E-unification ⋮ Unification problem in equational theories ⋮ On equational theories, unification, and (un)decidability
This page was built for publication: