Sciweavers

1894 search results - page 30 / 379
» A TLA Proof System
Sort
View
SP
2010
IEEE
164views Security Privacy» more  SP 2010»
14 years 2 months ago
A Proof-Carrying File System
Deepak Garg, Frank Pfenning
BIRTHDAY
2006
Springer
14 years 2 months ago
Survey of Disjoint NP-pairs and Relations to Propositional Proof Systems
Christian Glaßer, Alan L. Selman, Liyu Zhang
ISTCS
1995
Springer
14 years 2 months ago
On the Role of Shared Randomness in Two Prover Proof Systems
Mihir Bellare, Uriel Feige, Joe Kilian