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
https://portal.mardi4nfdi.de/entity/Q4996582	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Zhenyu Qian