Demirci, Hüseyin Gökalp.
(Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2013., 2013.)
We introduce a model of probabilistic debate checking, where a silent resourcebounded veri er reads a dialogue about the membership of a given string in the language under consideration between a prover and a refuter. Our ...