The following pages link to Yuefei Sui (Q208306):
Displayed 50 items.
- The correspondence between the concepts in description logics for contexts and formal concept analysis (Q439795) (← links)
- A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic (Q859844) (← links)
- Local noncuppability in \(\mathbf R /\mathbf M\) (Q865936) (← links)
- Completeness of Hoare logic with inputs over the standard model (Q896915) (← links)
- The extendibility of relatively capping degrees under the weak truth table reducibility (Q1334032) (← links)
- The polynomially exponential time restrained analytical hierarchy (Q1337640) (← links)
- Classification of the index sets of low \([n]^ p\) and high \([n]^ p\) (Q1337641) (← links)
- Bounded recursively enumerable sets and degrees (Q1338024) (← links)
- A relative decision entropy-based feature selection approach (Q1678710) (← links)
- The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic (Q1712495) (← links)
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
- Decomposition for a new kind of imprecise information system (Q1713845) (← links)
- Initialization of \(K\)-modes clustering using outlier detection techniques (Q1750620) (← links)
- The contiguity in R/M. (Q1850674) (← links)
- An extended Lachlan splitting theorem (Q1919538) (← links)
- A sound and complete \(R\)-calculi with respect to contraction and minimal change (Q2418664) (← links)
- (Q2768563) (← links)
- (Q2824401) (← links)
- (Q2859965) (← links)
- (Q2924426) (← links)
- The B4-valued propositional Belnap-Dunn logic1 (Q2953495) (← links)
- Completeness of Hoare Logic Relative to the Standard Model (Q2971129) (← links)
- (Q2993258) (← links)
- (Q3193673) (← links)
- (Q3306924) (← links)
- (Q3365669) (← links)
- A rough set approach to outlier detection (Q3398619) (← links)
- Normalized-scale Relations and Their Concept Lattices in Relational Databases (Q3398967) (← links)
- (Q3406325) (← links)
- (Q3421352) (← links)
- Outlier Detection Based on Rough Membership Function (Q3535472) (← links)
- An Ontology-Based First-Order Modal Logic (Q3535491) (← links)
- Some results about the R.E. degrees (Q3781752) (← links)
- (Q4025594) (← links)
- The cupping theorem in R/M (Q4262574) (← links)
- On the problem of the critical bound (Q4272259) (← links)
- (Q4272373) (← links)
- (Q4290685) (← links)
- A New Reducibility between Turing‐ and wtt‐Reducibility (Q4304156) (← links)
- (Q4426974) (← links)
- (Q4426977) (← links)
- (Q4456920) (← links)
- (Q4505730) (← links)
- (Q4640960) (← links)
- (Q4732459) (← links)
- (Q4812982) (← links)
- Relational Contexts and Relational Concepts (Q4932066) (← links)
- R-CALCULUS: A Logic of Belief Revision (Q5007095) (← links)
- R-Calculus, II: Many-Valued Logics (Q5035410) (← links)
- The sound and complete R-calculus for revising propositional theories (Q5046473) (← links)