Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

IP = SPACE

From MaRDI portal
Publication:4302794
Jump to:navigation, search

DOI10.1145/146585.146613zbMath0799.68098OpenAlexW2032626654WikidataQ57349918 ScholiaQ57349918MaRDI QIDQ4302794

No author found.

Publication date: 13 November 1994

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/146585.146613


zbMATH Keywords

interactive proofsPSPACE


Mathematics Subject Classification ID

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


Related Items

Geometric sets of low information content ⋮ Nonlocal Games with Noisy Maximally Entangled States are Decidable ⋮ Structural complexity of rational interactive proofs ⋮ Generalized Quantum Arthur--Merlin Games ⋮ Probabilistic verification of proofs in calculuses ⋮ Shorter arithmetization of nondeterministic computations ⋮ Unnamed Item ⋮ A combination of testability and decodability by tensor products ⋮ Spectral methods for matrix rigidity with applications to size-depth trade-offs and communication complexity ⋮ PSPACE has constant-round quantum interactive proof systems



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4302794&oldid=18239683"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 6 February 2024, at 20:35.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki