- P. Mateus, F. Moura, and J. Rasga.
Transferring proofs of zero-knowledge systems with quantum correlations.
In P. Dini et al, editor, Proceedings of the First Workshop on Quantum
Security: QSec'07, page 0009. IEEE Press, 2007.
Joint e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM '07. 6
pages.
Get a preprint: 06-MMR-quantlog14s.pdf
- J. Rasga.
Cut elimination in propositional based logics.
In P. Bruscoli, F. Lamarche, and C. Stewart, editors, Proceedings of
Structures and Deduction - the Quest for the Essence of Proofs (satellite
workshop of ICALP'05), pages 205--214. Technische Universit‰t Dresden,
2005.
Get a preprint: 05-R-quantfib2s.pdf