@article{Данцын1995, author = {Данцын, Е.Я.}, journal = {Zapiski naucnych seminarov POMI}, keywords = {randomized proof system; random substitution rule; interactive proof; Arthur-Merlin proofs}, language = {rus}, number = {1}, pages = {49-71}, publisher = {Nauka}, title = {Доказательства в арифметике, использующие случайные числа}, url = {http://eudml.org/doc/68549}, volume = {220}, year = {1995}, }
TY - JOUR AU - Данцын, Е.Я. TI - Доказательства в арифметике, использующие случайные числа JO - Zapiski naucnych seminarov POMI PY - 1995 PB - Nauka VL - 220 IS - 1 SP - 49 EP - 71 LA - rus KW - randomized proof system; random substitution rule; interactive proof; Arthur-Merlin proofs UR - http://eudml.org/doc/68549 ER -
