Yunfu Shen

From MaRDI portal
Person:1127835

Available identifiers

zbMath Open shen.yunfuMaRDI QIDQ1127835

List of research outcomes





PublicationDate of PublicationType
Design and Implementation of Modified Signed-Digit Adder2017-06-20Paper
Algorithmic quantifier elimination and its upper bound for the theory of groups of prime orders2007-12-14Paper
https://portal.mardi4nfdi.de/entity/Q47782972002-11-14Paper
Elimination of algorithmic quantifiers for ordered differential algebra1998-08-10Paper
The space of strong types and an open map theorem1997-10-07Paper
Quantifier hierarchies over the first-order definable tree languages1997-05-12Paper
https://portal.mardi4nfdi.de/entity/Q48795561997-02-16Paper
https://portal.mardi4nfdi.de/entity/Q46988221995-07-18Paper
https://portal.mardi4nfdi.de/entity/Q43226921995-05-30Paper
https://portal.mardi4nfdi.de/entity/Q37986471987-01-01Paper

Research outcomes over time

This page was built for person: Yunfu Shen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1127835&oldid=5936510"
Powered by MediaWiki