Canlyniadau Chwilio - "Computation by abstract devices."
-
1
-
2
-
3
-
4
-
5
-
6
Probabilistic checking of proofs a new characterization of NP.
Cyhoeddwyd yn Journal of the ACMErthygl -
7
-
8
-
9
-
10
Lower bounds on the bounded coefficient complexity of bilinear maps.
Cyhoeddwyd yn Journal of the ACMErthygl


