scientific article; zbMATH DE number 3843132

MaRDI QIDQ3313256zbMATH OpenFDO

Authors Péter G. N. Szabó

Publication date 1983

zbMATH Keywords

unification

Mathematics Subject Classification ID

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

Cited in

(11)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3313256)