Unification, weak unification, upper bound, lower bound, and generalization problems

DOI10.1007/3-540-53904-2_88MaRDI QIDQ5055751zbMATH OpenOpenAlexFDO

Authors Franz Baader

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-53904-2_88

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35)

Recommendations

• What is essential unification?
• On unification: Equational theories are not bounded
• E-unification based on generalized embedding
• Generalizations of unification
• Essential unifiers

Cites work

• scientific article; zbMATH DE number 3455392 (Why is no real title available?)
• scientific article; zbMATH DE number 3999263 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Characterizations of unification type zero
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Properties of substitutions and unifications
• Unification in commutative idempotent monoids
• Unification in commutative theories
• Unification in monoidal theories
• Unification properties of commutative theories: a categorical treatment
• Unification, weak unification, upper bound, lower bound, and generalization problems

Cited in

(11)

• A note on unification, subsumption and unification type
• Finite limits and anti-unification in substitution categories
• E-generalization using grammars
• Unification, weak unification, upper bound, lower bound, and generalization problems
• Anti-unification for unranked terms and hedges
• Unranked second-order anti-unification
• scientific article; zbMATH DE number 5241994 (Why is no real title available?)
• A library of anti-unification algorithms
• scientific article; zbMATH DE number 1222419 (Why is no real title available?)
• A modular order-sorted equational generalization algorithm
• Anti-unification and the theory of semirings

This page was built for publication: Unification, weak unification, upper bound, lower bound, and generalization problems

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