1423 search results - page 13 / 285 » Quantum logic as a dynamic logic |
KI
2009
Springer
15 years 4 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
AAAI
1994
15 years 1 months ago
1994
ATS
2005
IEEE
15 years 1 months ago
2005
IEEE
Reversibility is of interest in achieving extremely low power dissipation; it is also an inherent design requirement of quantum computation. Logical fault models for conventional ...