Yinbin Lei

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 3

Top Topics

Logical Implication

Reasoning Services

Closure Operator

Top Venues

计算机科学

Publications

Yinbin Lei, Jun Zhang
Closure System and Its Semantics. Axioms 10 (3) (2021)
Yinbin Lei, Jun Zhang
Generalizing Topological Set Operators. ISDT (2019)
Zhihuan Yan, Yinbin Lei
改进的粗糙描述逻辑框架 (Extended Rough Description Logic). 计算机科学 43 (5) (2016)
Yinbin Lei, Maokang Luo
Rough concept lattices and domains. Ann. Pure Appl. Log. 159 (3) (2009)
Yinbin Lei, Maokang Luo
A Proof of Plotkin's Conjecture. Fundam. Informaticae 92 (3) (2009)