Login / Signup
Kok Min Ng
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 3
Top Topics
Metric Space
Probability Measures
Similarity Searching
Access Structure
Top Venues
ISDT
Log. Methods Comput. Sci.
</>
Publications
</>
Kok Min Ng
,
Weng Kin Ho
Quasi-continuous Yoneda Complete Quasi-Metric Space.
ISDT
(2019)
Jean Goubault-Larrecq
,
Kok Min Ng
A Few Notes on Formal Balls.
Log. Methods Comput. Sci.
13 (4) (2017)
Kok Min Ng
,
Weng Kin Ho
Yoneda Completion via a DCPO Completion of its Poset of Formal Balls.
ISDT
(2017)