G. Cormode, J. Thaler, and K. Yi. Verifying computations with streaming interactive proofs. Technical Report TR10-159, Electronic Colloquium on Computational Complexity (ECCC), 2010.

[ bib | http ] Back

This file was generated by bibtex2html 1.92.