Essential unifiers

DOI10.1016/j.jal.2004.12.001zbMath1108.03019OpenAlexW4212936901MaRDI QIDQ2494722

Yanyan Li

Publication date: 30 June 2006

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2004.12.001

zbMATH Keywords

varietiessubstitutionsuniversal algebraequational theoryunification theory\(E\)-unificationtermspart ordering

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05)

Related Items (2)

E-Unification based on Generalized Embedding ⋮ What Is Essential Unification?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unification under associativity and idempotence is of type nullary
• The theory of idempotent semigroups is of unification type zero
• Properties of substitutions and unifications
• Unification theory
• A complete proof of correctness of the Knuth-Bendix completion algorithm
• A Noetherian and confluent rewrite system for idempotent semigroups
• On equational theories, unification, and (un)decidability
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Essential unifiers