The following pages link to Mingsheng Ying (Q188299):
Displaying 50 items.
- (Q230343) (redirect page) (← links)
- Model checking quantum Markov chains (Q394340) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- On probabilistic normed spaces under \(\tau_{T,L}\) (Q807926) (← links)
- Region connection calculus: Its models and composition table (Q814446) (← links)
- Generalized region connection calculus (Q814636) (← links)
- Robustness verification of quantum classifiers (Q832160) (← links)
- Declarative semantics of programming in residuated lattice-valued logic (Q866211) (← links)
- Reasonableness of the compositional rule of fuzzy inference (Q909652) (← links)
- The alternativity measures of fuzzy sets (Q913774) (← links)
- Soft constraint abstraction based on semiring homomorphism (Q944369) (← links)
- Quantum loop programs (Q977174) (← links)
- Reasoning about cardinal directions between extended objects (Q991028) (← links)
- A relation between fidelity and quantum adiabatic evolution (Q1017301) (← links)
- (Q1097270) (redirect page) (← links)
- A counter-example of Gottwald's theorem (Q1097271) (← links)
- Fuzzy semilattices (Q1099198) (← links)
- On standard models of fuzzy modal logics (Q1108260) (← links)
- On \(\epsilon\)-fuzzy sets (Q1122204) (← links)
- A new approach for fuzzy topology. II (Q1193648) (← links)
- A shorter proof to uniqueness of solutions of equations (Q1285667) (← links)
- A model of reasoning about knowledge (Q1286688) (← links)
- Phase semantics for a pure noncommutative linear propositional logic (Q1288431) (← links)
- Fuzzyfying uniform spaces (Q1311820) (← links)
- A new approach for fuzzy topology. III (Q1311906) (← links)
- Compactness in fuzzifying topology (Q1311914) (← links)
- Fuzzifying topology based on complete residuated lattice-valued logic. I (Q1313033) (← links)
- Universal and original-preserving quantum copying is impossible (Q1348791) (← links)
- When is the ideal completion of abstract basis algebraic (Q1350511) (← links)
- Reasoning about probabilistic sequential programs in a probabilistic logic (Q1424351) (← links)
- Automata theory based on quantum logic. I (Q1586380) (← links)
- Wootters-Zurek quantum-copying machine: the higher-dimensional case (Q1604130) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- Additive models of probabilistic processes (Q1607220) (← links)
- Universal quantum-copying machines: A sufficient and necessary condition (Q1615005) (← links)
- Reachability analysis of quantum Markov decision processes (Q1627964) (← links)
- Decomposition of quantum Markov chains and its applications (Q1747488) (← links)
- An open logic system admitting modification of inference rules (Q1814724) (← links)
- Characterizations of quantum automata (Q1884961) (← links)
- Putting consistent theories together in institutions (Q1894329) (← links)
- Institutions of variable truth values: An approach in the ordered style (Q1894330) (← links)
- On the method of neighborhood systems in fuzzy topology (Q1914446) (← links)
- Probabilistic automata for computing with words (Q1936259) (← links)
- Topology in process calculus. I: Limit behaviour of agents (Q1964363) (← links)
- Strassen's theorem for quantum couplings (Q2007728) (← links)
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Quantum random access stored-program machines (Q2084736) (← links)
- Equivalence checking of quantum finite-state machines (Q2220441) (← links)
- A modified quantum adiabatic evolution for the Deutsch-Jozsa problem (Q2267216) (← links)
