The following pages link to Yong-Ming Li (Q1595240):
Displaying 50 items.
- (Q276422) (redirect page) (← links)
- On a condition for semirings to induce compact information algebras. (Q276423) (← links)
- The universal fuzzy automaton (Q279373) (← links)
- A new algorithm for testing diagnosability of fuzzy discrete event systems (Q425552) (← links)
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras (Q481102) (← links)
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
- Computation tree logic model checking based on possibility measures (Q529055) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Homomorphisms, separable extensions, and Morita maps for weak module algebras. (Q536642) (← links)
- Application of level soft sets in decision making based on interval-valued fuzzy soft sets (Q614357) (← links)
- Finite automata theory with membership values in lattices (Q632699) (← links)
- Anti-\(BZ\)-structure in effect algebras (Q702953) (← links)
- Decomposition and resolution of min-implication fuzzy relation equations based on S-implications (Q703395) (← links)
- Monogamy of \(\alpha\)th power entanglement measurement in qubit systems (Q738228) (← links)
- Exponentials in a Cartesian closed category which contains all algebraic domains (Q748705) (← links)
- Fuzzy alternating automata over distributive lattices (Q781276) (← links)
- Regular grammars with truth values in lattice-ordered monoid and their languages (Q816869) (← links)
- On the complemented disk algebra (Q817585) (← links)
- Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata (Q841984) (← links)
- Approximation of fuzzy context-free grammars (Q845326) (← links)
- Minimization of states in automata theory based on finite lattice-ordered monoids (Q865914) (← links)
- Robustness analysis of logic metrics on \(F(X)\) (Q891773) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Algebraic properties on the cuts of lattice-valued regular languages (Q937264) (← links)
- Approximation and universality of fuzzy Turing machines (Q954457) (← links)
- The relationship of controllability between classical and fuzzy discrete-event systems (Q955723) (← links)
- Some algebraic properties of measure-once two-way quantum finite automata (Q1007122) (← links)
- Weakly regular quantum grammars and asynchronous quantum automata (Q1013764) (← links)
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency (Q1043325) (← links)
- Generalized \((S,I)\)-complete free completely distributive lattices generated by posets (Q1266925) (← links)
- Generalized ideals in orthoalgebras (Q1421666) (← links)
- Top is a reflective and coreflective subcategory of fuzzy topological spaces (Q1595241) (← links)
- Entropic cohering power in quantum operations (Q1617196) (← links)
- Multiparty quantum direct secret sharing of classical information with Bell states and Bell measurements (Q1640144) (← links)
- Fuzzy alternating Büchi automata over distributive lattices (Q1678419) (← links)
- The Tsallis relative 2-entropy of coherence for qubit system (Q1685731) (← links)
- On tree-preserving constraints (Q1688715) (← links)
- Quantitative model checking of linear-time properties based on generalized possibility measures (Q1697514) (← links)
- Constructions of some quantum structures and fuzzy effect space (Q1768682) (← links)
- Constructive insertion theorems and extension theorems on extremally disconnected frames (Q1866845) (← links)
- Weak locale quotient morphisms and locally connected frames (Q1916421) (← links)
- A new order relation on fuzzy soft sets and its application (Q1955479) (← links)
- Distance measures on intuitionistic hesitant fuzzy set and its application in decision-making (Q1983937) (← links)
- An approach to construct entropies on interval-valued intuitionistic fuzzy sets by their distance functions (Q2098323) (← links)
- Coherence-breaking superchannels (Q2107951) (← links)
- Coherence weight of quantum channels (Q2158105) (← links)
- Computation tree logic model checking based on multi-valued possibility measures (Q2213111) (← links)
- Approximation and robustness of fuzzy finite automata (Q2270389) (← links)
- Linguistic quantifiers based on Choquet integrals (Q2270416) (← links)
