Sciweavers

TLCA
2009
Springer

The Computational SLR: A Logic for Reasoning about Computational Indistinguishability

14 years 6 months ago
The Computational SLR: A Logic for Reasoning about Computational Indistinguishability
Yu Zhang
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where TLCA
Authors Yu Zhang
Comments (0)