Zhenyu Qian

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Second-order unification in the presence of linear shallow algebraic equations Conditional and Typed Rewriting Systems	2023-03-09	Paper
Modular higher-order E-unification Rewriting Techniques and Applications	2022-12-09	Paper
Efficient second-order matching Rewriting Techniques and Applications	2022-12-09	Paper
Linear unification of higher-order patterns Lecture Notes in Computer Science	2022-11-02	Paper
Higher-order order-sorted algebras Algebraic and Logic Programming	2022-08-16	Paper
Modular AC unification of higher-order patterns Constraints in Computational Logics	2022-08-16	Paper
An MM method for solving orthogonal unbalanced Procrustes problem	2021-07-01	Paper
Another look at parameterization for oder-sorted algebraic specifications Journal of Computer and System Sciences	2000-06-21	Paper
scientific article; zbMATH DE number 1348466 (Why is no real title available?)	1999-10-07	Paper
Modular higher-order equational preunification Journal of Symbolic Computation	1997-06-30	Paper
Reduction and unification in lambda calculi with a general notion of subtype Journal of Automated Reasoning	1994-12-21	Paper
An algebraic semantics of higher-order types with subtypes Acta Informatica	1994-05-10	Paper
scientific article; zbMATH DE number 4206001 (Why is no real title available?)	1990-01-01	Paper
scientific article; zbMATH DE number 4016179 (Why is no real title available?)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Zhenyu Qian