scientific article; zbMATH DE number 4049130

MaRDI QIDQ3786019zbMATH OpenFDO

Authors Alexander Herold

Publication date 1986

zbMATH Keywords

automated deductionequational theoriesunification algorithmscomplete set of unifiersdisjoint function symbols

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4112560
• Combining unification algorithms
• Unification in the union of disjoint equational theories: Combining decision procedures
• Unification in a combination of equational theories: an efficient algorithm
• Unification in combinations of collapse-free regular theories

Cited in

(32)

• Unification algorithms cannot be combined in polynomial time.
• scientific article; zbMATH DE number 1722699 (Why is no real title available?)
• On equational theories, unification, and (un)decidability
• Unification theory
• Unification algorithms cannot be combined in polynomial time
• scientific article; zbMATH DE number 3871334 (Why is no real title available?)
• scientific article; zbMATH DE number 3945372 (Why is no real title available?)
• scientific article; zbMATH DE number 4049131 (Why is no real title available?)
• scientific article; zbMATH DE number 4112560 (Why is no real title available?)
• Matching - a special case of unification?
• scientific article; zbMATH DE number 1552528 (Why is no real title available?)
• Unification in a combination of arbitrary disjoint equational theories
• Unification Modulo Builtins
• Associative-commutative unification
• Unification in combinations of collapse-free regular theories
• Combining matching algorithms: The regular case
• scientific article; zbMATH DE number 3957052 (Why is no real title available?)
• Unification in Boolean rings
• A practical unification algorithm
• Combining matching algorithms: The regular case
• Unions of non-disjoint theories and combinations of satisfiability procedures
• Boolean unification - the story so far
• Set unification
• Automata-driven efficient subterm unification
• Model-theoretic aspects of unification
• Modular higher-order E-unification
• scientific article; zbMATH DE number 4047179 (Why is no real title available?)
• Combining unification algorithms
• Unification problem in equational theories
• Second-order unification in the presence of linear shallow algebraic equations
• Combining equational reasoning
• A new approach to general E-unification based on conditional rewriting systems

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