Sciweavers

2 search results - page 1 / 1
» A Full Characterization of Quantum Advice
Sort
View
STOC
2010
ACM
161views Algorithms» more  STOC 2010»
13 years 10 months ago
A Full Characterization of Quantum Advice
Scott Aaronson and Andrew Drucker
JSYML
2000
110views more  JSYML 2000»
13 years 5 months ago
Basic Logic: Reflection, Symmetry, Visibility
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
Giovanni Sambin, Giulia Battilotti, Claudia Faggia...