A note on unification, subsumption and unification type

DOI10.1007/978-3-030-22102-7_26zbMATH Open1444.68090OpenAlexW2954372499MaRDI QIDQ2185490FDOQ2185490

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

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

zbMATH Keywords

unificationunification typemost general unifierssubsumption preorder

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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)