Travelled to:1 × Japan
1 × Latvia
Collaborated with:R.Raz O.Goldreich R.D.Rothblum
Talks about:program (1) languag (1) context (1) complex (1) stream (1) proxim (1) merlin (1) branch (1) arthur (1) proof (1)
Person: Tom Gur
DBLP: Gur:Tom
Contributed to:
20152013Wrote 2 papers:
- ICALP-v1-2015-GoldreichGR #branch #context-free grammar #proving #proximity #source code
- Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs — (OG, TG, RDR), pp. 666–677.
- ICALP-v1-2013-GurR #complexity #streaming
- Arthur-Merlin Streaming Complexity (TG, RR), pp. 528–539.