Modular higher-order equational preunification

DOI10.1006/JSCO.1996.0059MaRDI QIDQ674756zbMATH OpenOpenAlexFDO

Authors Zhenyu Qian, Kang Wang

Publication date 30 June 1997

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1996.0059

zbMATH Keywords

logic programming systemspreunification

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Modular higher-order E-unification
• Rewriting, and equational unification: the higher-order cases
• Higher order E-unification
• scientific article; zbMATH DE number 1088023
• Publication:4954009

Cited in

(1)

• Unification under a mixed prefix

This page was built for publication: Modular higher-order equational preunification

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