scientific article

zbMath0531.68004MaRDI QIDQ3313256

Péter G. N. Szabó

Publication date: 1983

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

unification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Equational classes, universal algebra in model theory (03C05)

Related Items

An algorithm for distributive unification, Unification problems with one-sided distributivity, Unification of infinite sets of terms schematized by primal grammars, A partial solution for D-unification based on a reduction to AC 1-unification, Combining matching algorithms: The regular case, What Is Essential Unification?, Matching - a special case of unification?, Schematization of infinite sets of rewrite rules generated by divergent completion processes, A decision algorithm for distributive unification, On equational theories, unification, and (un)decidability, Unification in permutative equational theories is undecidable