scientific article; zbMATH DE number 2080020

MaRDI QIDQ4472207zbMATH OpenFDO

Authors R. N. Banerjee, A. Bujosa

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2284/22840015.htm

zbMATH Keywords

most general unifier

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Free, projective, and flat modules and ideals in associative algebras (16D40) Symbolic computation and algebraic computation (68W30)

Recommendations

• Syntactic unification as a geometric operation in free modules over certain rings
• scientific article; zbMATH DE number 2182599
• Free term algebras
• Modularity in term rewriting revisited
• scientific article; zbMATH DE number 4070283
• Algebraic semantics of rewriting terms and types
• Unification in free distributive lattices
• Publication:4954009
• Algebraic semantics and complexity of term rewriting systems
• A class of confluent term rewriting systems and unification

Cited in

(2)

• Syntactic unification as a geometric operation in free modules over certain rings
• A geometric interpretation of LD-resolution

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 Q4472207)