No label defined (Q4251070)
From MaRDI portal
scientific article; zbMATH DE number 1304339
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1304339 |
Statements
16 November 1999
0 references
deterministic algorithm
0 references
optimal acceptor for a language
0 references
p-optimal proof system
0 references
p-cylinder
0 references
time-complexity
0 references
many-one reducibility
0 references
nondeterministic algorithms
0 references