Interpolation by a Game (Q4224078)
From MaRDI portal
scientific article; zbMATH DE number 1236715
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interpolation by a Game |
scientific article; zbMATH DE number 1236715 |
Statements
Interpolation by a Game (English)
0 references
5 July 1999
0 references
propositional formulas
0 references
real game
0 references
real communication complexity
0 references
size of monotone real formulas and circuits
0 references
tree-like monotone protocols
0 references
interpolation theorems
0 references
proof systems
0 references
Hall's theorem
0 references
