Second-order unification in the presence of linear shallow algebraic equations

DOI10.1007/3-540-54317-1_113OpenAlexW1535077170MaRDI QIDQ5881305

Zhenyu Qian

Publication date: 9 March 2023

Published in: Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54317-1_113

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unification in a combination of arbitrary disjoint equational theories
• Unification in combinations of collapse-free regular theories
• A unification algorithm for typed \(\bar\lambda\)-calculus
• Higher-order unification revisited: Complete sets of transformations
• Combining matching algorithms: The regular case

This page was built for publication: Second-order unification in the presence of linear shallow algebraic equations