5 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.LO2007★ 3 cited
Finite Automata Based on Quantum Logic and Their Determinization
Yongming Li
We give the quantum subset construction of orthomodular lattice-valued finite automata, then we show the equivalence between orthomodular lattice-valued finite automata, orthomodul…
cs.AI2005★ 5 cited
Relational reasoning in the region connection calculus
Yongming Li, Sanjiang Li, Mingsheng Ying
This paper is mainly concerned with the relation-algebraical aspects of the well-known Region Connection Calculus (RCC). We show that the contact relation algebra (CRA) of certain…