Addendum to: Non-deterministic exponential time has two-prower interactive protocols
type: Item
instance of: scholarly article
title: Addendum to: Non-deterministic exponential time has two-prower interactive protocols
zbMATH Open document ID: 0796.68096
DOI: 10.1007/BF01200430
published in: Computational Complexity
publication date: 1993-08-15T00:00:00Z
review text: Addendum concerned with ibid. 1, No. 1, 3-40 (1991; Zbl 0774.68041).
Mathematics Subject Classification ID: 68Q15
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 179060
zbMATH Keywords: two-prover interactive protocols
zbMATH Keywords: interactive proof systems
zbMATH Keywords: verification scheme for multilinearity
zbMATH Keywords: program verification
author: László Babai
author: Lance Fortnow
author: C. Lund
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf01200430
OpenAlex ID: W2097206148
description: scientific article; zbMATH DE number 179060