-
1Academic Journal
Συγγραφείς: Manuel Blum, Sampath Kannan
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.4 [Software Engineering, Program verification-cor- rectness proofs, reliability, F.2.0 IAnalysis of Algorithms and Problem Complexity, General, F.3.1 [Logics and Meanings of Progrmas, Specifying and Verifying and Reasoning about Programs, G.3 [Probability and Statistics]-probabilistic algorithms (including Monte Carlo) General Terms, Algorithms, Design, Theory, Verification Additional Key Words and Phrases, Interactive proofs, probabilistic algorithms, program check- ing
Περιγραφή αρχείου: application/pdf