Zhenyu Qian

Available identifiers

zbMath Open qian.zhenyuMaRDI QIDQ674755

List of research outcomes

Publication	Date of Publication	Type
Second-order unification in the presence of linear shallow algebraic equations	2023-03-09	Paper
Modular higher-order E-unification	2022-12-09	Paper
Efficient second-order matching	2022-12-09	Paper
Linear unification of higher-order patterns	2022-11-02	Paper
Higher-order order-sorted algebras	2022-08-16	Paper
Modular AC unification of higher-order patterns	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	2000-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4264719	1999-10-07	Paper
Modular higher-order equational preunification	1997-06-30	Paper
Reduction and unification in lambda calculi with a general notion of subtype	1994-12-21	Paper
An algebraic semantics of higher-order types with subtypes	1994-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q3355246	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028332	1987-01-01	Paper

Research outcomes over time

This page was built for person: Zhenyu Qian