82 citations · 179 across the 16 of their papers we have counts for
4 papers · 1 filter
On Quotients of Formal Power Series
Yongming Li, Qian Wang, Sanjiang Li
Quotient is a basic operation of formal languages, which plays a key role in the construction of minimal deterministic finite automata (DFA) and the universal automata. In this pap…
Model-Checking of Linear-Time Properties Based on Possibility Measure
Yongming Li, Lijun Li
We study the LTL model-checking in possibilistic Kripke structure using possibility measure. First, the notion of possibilistic Kripke structure and the related possibility measure…
Information algebra system of soft sets
Xuechong Guan, Yongming Li
Information algebra is algebraic structure for local computation and inference. Given an initial universe set and a parameter set, we show that a soft set system over them is an in…
Continuity in Information Algebras
Xuechong Guan, Yongming Li
In this paper, the continuity and strong continuity in domain-free information algebras and labeled information algebras are introduced respectively. A more general concept of cont…