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

arXiv:quant-ph/0305029 · Trends in logic

Quantum Computational Logics: A Survey

María Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini

Published Jan 1, 2003• 47 citations
arXivHTMLPDF
DOI
10.1007/978-94-017-3598-8_9

Related papers

Operational Quantum Logic: A Survey and Analysis

David Moore, Frank Valckenborgh

Elsevier eBooks•Jan 1, 2009•6 citations

Synthesis and optimization of reversible circuits—a survey

Mehdi Saeedi, Igor L. Markov

Reversible logic circuits have been historically motivated by theoretical research in low-power electronics as well as practical improvement of bit manipulation transforms in cryptography and computer graphics. Recently, reversible circuits have attracted interest as components of quantum algorithms, as well as in photonic and nano-computing technologies where some switching devices offer no signal gain. Research in generating reversible logic distinguishes between circuit synthesis, postsynthesis optimization, and technology mapping. In this survey, we review algorithmic paradigms—search based, cycle based, transformation based, and BDD based—as well as specific algorithms for reversible synthesis, both exact and heuristic. We conclude the survey by outlining key open challenges in synthesis of reversible and quantum logic, as well as most common misconceptions.

arXiv:1110.2574•ACM Computing Surveys•Feb 1, 2013•298 citations

Quantum Computational Logics and Possible Applications

María Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini +1 more

International Journal of Theoretical Physics•Jul 27, 2007•3 citations

A Survey of Quantum Programming Languages: History, Methods, and Tools

Donald Sofge

Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lambda calculi, and linear logic), and engineering attempts to build the first non-trivial quantum computer. This paper briefly surveys the history, methods, and proposed tools for programming quantum computers circa late 2007. It is intended to provide an extensive but non-exhaustive look at work leading up to the current state-of-the-art in quantum computer programming. Further, it is an attempt to analyze the needed programming tools for quantum programmers, to use this analysis to predict the direction in which the field is moving, and to make recommendations for further development of quantum programming language tools.

arXiv:0804.1118•International Conference on Quantum, Nano and Micro Technologies (ICQNM)•Feb 1, 2008•29 citations

Towards Quantum Computational Logics

Antonio Ledda, Giuseppe Sergioli

International Journal of Theoretical Physics•May 25, 2010•13 citations

A survey of the research on multi-valued quantum circuits

Fuyou Fan, Guowu Yang, Qianqi Le +1 more

Because it has the ability to avoid energy losses and the possibility to solve some exponentially hard problems in polynomial time, quantum computation is getting more and more attention. Multi-valued logic for quantum computing has shown practical advantages for scaling up a quantum computer. In this paper, some reversible logic gates for the multi-valued quantum logic and some synthesis methods for reversible logic are introduced, including the Cosine-Sine decomposition and the evolutionary quantum logic synthesis.

International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP)•Dec 1, 2012•2 citations
Reversible logic circuits have been historically motivated by theoretical research in low-power electronics as well as practical improvement of bit manipulation transforms in cryptography and computer graphics. Recently, reversible circuits have attracted interest as components of quantum algorithms, as well as in photonic and nano-computing technologies where some switching devices offer no signal gain. Research in generating reversible logic distinguishes between circuit synthesis, postsynthesis optimization, and technology mapping. In this survey, we review algorithmic paradigms—search based, cycle based, transformation based, and BDD based—as well as specific algorithms for reversible synthesis, both exact and heuristic. We conclude the survey by outlining key open challenges in synthesis of reversible and quantum logic, as well as most common misconceptions.
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lambda calculi, and linear logic), and engineering attempts to build the first non-trivial quantum computer. This paper briefly surveys the history, methods, and proposed tools for programming quantum computers circa late 2007. It is intended to provide an extensive but non-exhaustive look at work leading up to the current state-of-the-art in quantum computer programming. Further, it is an attempt to analyze the needed programming tools for quantum programmers, to use this analysis to predict the direction in which the field is moving, and to make recommendations for further development of quantum programming language tools.
Because it has the ability to avoid energy losses and the possibility to solve some exponentially hard problems in polynomial time, quantum computation is getting more and more attention. Multi-valued logic for quantum computing has shown practical advantages for scaling up a quantum computer. In this paper, some reversible logic gates for the multi-valued quantum logic and some synthesis methods for reversible logic are introduced, including the Cosine-Sine decomposition and the evolutionary quantum logic synthesis.