Yunfu Shen

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
Design and Implementation of Modified Signed-Digit Adder IEEE Transactions on Computers	2017-06-20	Paper
Algorithmic quantifier elimination and its upper bound for the theory of groups of prime orders	2007-12-14	Paper
scientific article; zbMATH DE number 1829609 (Why is no real title available?)	2002-11-14	Paper
Elimination of algorithmic quantifiers for ordered differential algebra Archive for Mathematical Logic	1998-08-10	Paper
The space of strong types and an open map theorem Acta Mathematica Sinica, English Series	1997-10-07	Paper
Quantifier hierarchies over the first-order definable tree languages Science in China. Series E	1997-05-12	Paper
scientific article; zbMATH DE number 883122 (Why is no real title available?)	1997-02-16	Paper
scientific article; zbMATH DE number 754183 (Why is no real title available?)	1995-07-18	Paper
scientific article; zbMATH DE number 721736 (Why is no real title available?)	1995-05-30	Paper
scientific article; zbMATH DE number 4064973 (Why is no real title available?)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Yunfu Shen