Works matching IS 09601295 AND DT 2023 AND VI 33 AND IP 9

Results: 3

    • Computable soft separation axioms.

      Published in:
      Mathematical Structures in Computer Science, 2023, v. 33, n. 9, p. 781, doi. 10.1017/S0960129523000336
      By:
      • Elsayed, S. M.;
      • Ng, Keng Meng
      Publication type:
      Article

    • Not every countable complete distributive lattice is sober.

      Published in:
      Mathematical Structures in Computer Science, 2023, v. 33, n. 9, p. 809, doi. 10.1017/S0960129523000269
      By:
      • Miao, Hualin;
      • Xi, Xiaoyong;
      • Li, Qingguo;
      • Zhao, Dongsheng
      Publication type:
      Article

    • Scott topology on Smyth power posets.

      Published in:
      Mathematical Structures in Computer Science, 2023, v. 33, n. 9, p. 832, doi. 10.1017/S0960129523000257
      By:
      • Xu, Xiaoquan;
      • Wen, Xinpeng;
      • Xi, Xiaoyong
      Publication type:
      Article