The following pages link to Tianrong Lin (Q439939):
Displayed 6 items.
- Another approach to the equivalence of measure-many one-way quantum finite automata and its application (Q439940) (← links)
- Corrigendum to: ``Another approach to the equivalence of measure-many one-way quantum finite automata and its application'' (Q2353411) (← links)
- Simple characterizations for commutativity of quantum weakest preconditions (Q6227273) (← links)
- On equivalence, languages equivalence and minimization of multi-letter and multi-letter measure-many quantum automata (Q6231359) (← links)
- Undecidability of model-checking branching-time properties of stateless probabilistic pushdown process (Q6251671) (← links)
- Quantum and Probabilistic Computers Rigorously Powerful than Traditional Computers, and Derandomization (Q6447838) (← links)