Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Theoretical Computer Science

A theory of computation based on unsharp quantum logic: Finite state automata and pushdown automata

Yun Shang, Xian Ping Lu, Ruqian Lu

Published Feb 16, 2012• 10 citations
Publisher
DOI
10.1016/j.tcs.2012.02.018

Related papers

Automata theory based on quantum logic: Reversibilities and pushdown automata

Daowen Qiu

Theoretical Computer Science•May 25, 2007•49 citations

Finite automata based on quantum logic and monadic second-order quantum logic

Yongming Li

Science China Information Sciences•Jan 1, 2010•15 citations

An Unsharp Quantum Logic from Quantum Computation

Gianpiero Cattaneo, María Luisa Dalla Chiara, Roberto Giuntini

Springer eBooks•Jan 1, 2004•3 citations

Mathematical logic and quantum finite state automata

Ilze Dzelme-Bērziņa

Theoretical Computer Science•Mar 1, 2009•6 citations

Quantum finite automata using quantum logic

Jismy Joseph, K. S. Dersanambika

Malaya Journal of Matematik•Jan 31, 2019•1 citation

Quantum logic and automata theory

Mingsheng Ying

Elsevier eBooks•Jan 1, 2007•16 citations