Artikel in einem Konferenzbericht,

Two-Prover One-Round Proof Systems: Their Power and Their Problems (Extended Abstract)

, und .
STOC, Seite 733-744. ACM, (1992)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen