scientific article; zbMATH DE number 3827203

MaRDI QIDQ3673105zbMATH OpenFDO

Authors Jacques Corbin, Michel Bidoit

Publication date 1983

zbMATH Keywords

choice of a suitable data structureRobinson's unification algorithm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cited in

(9)

• Unification problem in equational theories
• Competing for the \(AC\)-unification race
• Unification in sort theories and its applications
• The complexity of satisfiability in non-iterated and iterated probabilistic logics
• On the symbolic reduction of processes with cryptographic functions.
• Graph unification and matching
• Unification theory
• A practical unification algorithm
• Formal correctness of a quadratic unification algorithm

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