Probabilistic verification of proofs

zbMath0912.68190MaRDI QIDQ1126840

No author found.

Publication date: 5 August 1998

Published in: Documenta Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/224168

zbMATH Keywords

computational complexitycombinatorial optimization

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

This page was built for publication: Probabilistic verification of proofs