A note on unification, subsumption and unification type

DOI10.1007/978-3-030-22102-7_26MaRDI QIDQ2185490zbMATH OpenOpenAlexFDO

Authors Manfred Schmidt-Schauß

Publication date 4 June 2020

Full work available at URL https://doi.org/10.1007/978-3-030-22102-7_26

zbMATH Keywords

unificationunification typemost general unifierssubsumption preorder

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4053011
• scientific article; zbMATH DE number 3858458
• What is essential unification?
• E-unification based on generalized embedding
• Unification, weak unification, upper bound, lower bound, and generalization problems

This page was built for publication: A note on unification, subsumption and unification type

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