No label defined (Q4381398)
From MaRDI portal
scientific article; zbMATH DE number 1136087
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1136087 |
Statements
20 July 1998
0 references
p-simulation
0 references
polynomial time
0 references
p-optimal proof systems
0 references
deterministic
0 references
nondeterministic
0 references
exponential time
0 references
complexity classes
0 references
many-one complete languages
0 references
many-one complete sets
0 references