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