Login / Signup
Hui-Xian Shi
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Metric Space
Normal Form
Temporal Logic
Prime Implicates
Top Venues
J. Intell. Fuzzy Syst.
</>
Publications
</>
Hui-Xian Shi
,
Yong-Ming Li
Lattice and metric completions of the classical logic metric space and a comparison.
J. Intell. Fuzzy Syst.
30 (4) (2016)
Hui-Xian Shi
,
Yong-Ming Li
Temporal normal form for Linear Temporal Logic formulae.
J. Intell. Fuzzy Syst.
30 (3) (2016)