Technical Reports
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
6 matches found for Cai, Jin-Yi:
- Cai, Jin-Yi
- On Bounded Round Multi-Prover Interactive Proof Systems, TR-237-89, December 1989
- Playing Games of Incomplete Information, TR-238-89, December 1989
- The Polynomial Hierarchy is Provable by Two Provers in One Round, TR-260-90, December 1989
- More Efficient Bottom-Up Tree Pattern Matching, TR-268-90, May 1990
- Computations Over Infinite Groups, TR-325-91, June 1991
- Uncheatable Benchmarks Using Numerical Instability, TR-433-93, September 1993
