Zaiyue Zhang

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
The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic Frontiers of Computer Science	2019-01-22	Paper
Tolerance-based multigranulation rough sets in incomplete systems Frontiers of Computer Science	2018-12-19	Paper
scientific article; zbMATH DE number 5669606 (Why is no real title available?)	2010-02-12	Paper
Description of the belief revisions based on the propositional model sets	2009-11-11	Paper
The Rough Logic and Roughness of Logical Theories Rough Sets and Knowledge Technology	2007-09-07	Paper
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic Rough Sets and Knowledge Technology	2007-09-07	Paper
Theory and Applications of Models of Computation Lecture Notes in Computer Science	2007-04-30	Paper
Local noncuppability in \(\mathbf R /\mathbf M\) Science in China. Series F	2007-02-20	Paper
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic Theoretical Computer Science	2007-01-22	Paper
Rough Sets and Current Trends in Computing Lecture Notes in Computer Science	2006-11-01	Paper
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 2220123 (Why is no real title available?)	2005-10-28	Paper
scientific article; zbMATH DE number 2061062 (Why is no real title available?)	2004-03-21	Paper
scientific article; zbMATH DE number 2061073 (Why is no real title available?)	2004-03-21	Paper
scientific article; zbMATH DE number 1983107 (Why is no real title available?)	2003-09-18	Paper
The contiguity in R/M. Journal of Computer Science and Technology	2002-01-01	Paper
Extending the Cooper minimal pair theorem Journal of Computer Science and Technology	2001-09-23	Paper
A hierarchy for cuppable degrees Illinois Journal of Mathematics	2001-09-03	Paper
The cupping theorem in R/M Journal of Symbolic Logic	1999-12-19	Paper
scientific article; zbMATH DE number 1143806 (Why is no real title available?)	1998-08-24	Paper
Properties of large cardinals and precipitous ideal Chinese Science Bulletin	1995-06-13	Paper

Research outcomes over time

This page was built for person: Zaiyue Zhang