The following pages link to Huixian Shi (Q189972):
Displaying 14 items.
- Maximal contractions in Boolean algebras (Q362282) (← links)
- A multiple-valued logic approach for multigranulation rough set model (Q511661) (← links)
- Lattice-valued modal propositional logic and its completeness (Q543066) (← links)
- Certificateless public key encryption scheme with hybrid problems and its application to Internet of things (Q1719525) (← links)
- A quantitative method for multi-valued modal logics (Q2858428) (← links)
- Satisfaction degree for a class of temporal logic formulae based on transition systems (Q2924071) (← links)
- Lattice and metric completions of the classical logic metric space and a comparison1 (Q2987925) (← links)
- Temporal normal form for Linear Temporal Logic formulae1 (Q2988557) (← links)
- Quantitative approach for linear temporal logic based on DTMC (Q2993083) (← links)
- Modal R 0-Algebra-Valued Modal Logic System M $\mathcal{L}$ * (Q3145139) (← links)
- (Q3573943) (← links)
- STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES (Q4553369) (← links)
- (Q4926927) (← links)
- The frictional resistance characteristics of gas-liquid two-phase flow in helical-coiled tubes (Q5937687) (← links)
