scientific article
From MaRDI portal
Publication:3338215
zbMath0547.03011MaRDI QIDQ3338215
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Word problems, etc. in computability and recursion theory (03D40) Equational classes, universal algebra in model theory (03C05) Word problems (aspects of algebraic structures) (08A50)
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:
