Yong-Qiang Sun

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
SPMH: A solution to the problem of malicious hosts Journal of Computer Science and Technology	2004-07-01	Paper
Partial completion of equational theories Journal of Computer Science and Technology	2001-01-25	Paper
Deciding quasi-reducibility using witnessed test sets Journal of Computer Science and Technology	1999-09-13	Paper
scientific article; zbMATH DE number 1293740 (Why is no real title available?)	1999-05-31	Paper
Completeness of the accumulation calculus Journal of Computer Science and Technology	1998-06-29	Paper
scientific article; zbMATH DE number 1104016 (Why is no real title available?)	1998-01-14	Paper
A partial evaluator for a parallel lambda language Journal of Computer Science and Technology	1997-12-15	Paper
scientific article; zbMATH DE number 1066848 (Why is no real title available?)	1997-09-28	Paper
Implementation of GAMMA on a massively parallel computer. Journal of Computer Science and Technology	1997-08-07	Paper
scientific article; zbMATH DE number 943309 (Why is no real title available?)	1996-11-07	Paper
An improved bottom-up method for implementing equational programming language Journal of Computer Science and Technology	1995-01-25	Paper
Construction of the model of the lambda calculus system with algebraic operators Journal of Computer Science and Technology	1991-01-01	Paper
Deriving some expansion theorems for nonlinear functional equations by an algorithm Science of Computer Programming	1987-01-01	Paper
scientific article; zbMATH DE number 3970092 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Yong-Qiang Sun