1423 search results - page 7 / 285 » Quantum logic as a dynamic logic |
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantiï¬ers and present a class of modal logics which is decidable when augmented with bisimulation quantiï¬...
109
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Reversible logic has applications in many fields, including quantum computing. Synthesis techniques for reversible circuits are not well developed, even for functions with a small...
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Reversible logic is the basis for several emerging technologies such as quantum computing, optical computing, or DNA computing and has further applications in domains like low-pow...
ISMVL
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—This paper presents fundamental logic structures designed using novel quantum dot gate FETs with three-state characteristics. This three-state FET manifests itself as a ...
DLOG
1998
14 years 11 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...