Zaiyue Zhang

MaRDI QIDQ182358zbMATH OpenFDO

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
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic Rough Sets and Knowledge Technology	2007-09-07	Paper
The Rough Logic and Roughness of Logical Theories 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, Fuzzy Sets, Data Mining, and Granular Computing Lecture Notes in Computer Science	2006-11-01	Paper
Rough Sets and Current Trends in 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