The following pages link to Mengqiao Huang (Q259053):
Displaying 10 items.
- Re-visiting axioms of information systems (Q259056) (← links)
- Formal contexts for algebraic domains (Q276430) (← links)
- Generalized continuous posets and a new Cartesian closed category (Q842760) (← links)
- On the equivalence of Rudin's lemma and the Boolean prime ideal theorem (Q2074368) (← links)
- A note on the Knaster-Tarski fixpoint theorem (Q2200474) (← links)
- A categorical representation of algebraic domains based on variations of rough approximable concepts (Q2353995) (← links)
- (Q2791696) (← links)
- (Q2923923) (← links)
- (Q2992539) (← links)
- (Q4925584) (← links)
