Article-Journal

Upper bound for the success probability of unambiguous discrimination among quantum states
Shengyu Zhang, Yuan Feng, Xiaoming Sun, Mingsheng Ying
引用 DOI URL
Recursive equations in higher-order process calculi
Regarding behaviour equivalence in higher-order process calculi, Sangiorgi (Inform. and Comput. 131 (1996) 141) and Thomsen (Inform. …
Mingsheng Ying, Martin Wirsing
引用 DOI URL
Automata Theory Based on Quantum Logic II
We establish the pumping lemma in automata theory based on quantum logicunder certain conditions on implication, and discuss the …
引用 DOI URL
Approximate Reasoning Based on Similarity
Abstract The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the …
Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying
引用 DOI URL
Declarative semantics of programming in residuated lattice-valued logic
引用
Weak confluence and $τ$-inertness
引用
Topology in process calculus (I): Limit behaviour of agents
This paper introduces the modifications on actions of a topology on names of actions and the simplest topology on agents induced by a …
引用 DOI URL
Phase semantics for a pure noncommutative linear propositional logic
We use a many-sorted language to remove commutativity from phase semantics of linear logic and show that pure noncommutative …
引用 DOI URL
A shorter proof to uniqueness of solutions of equations
引用
Perturbation of fuzzy reasoning
引用 DOI