Safe Weak Minimization Revisited (Q3149881)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Safe Weak Minimization Revisited |
scientific article |
Statements
Safe Weak Minimization Revisited (English)
0 references
29 September 2002
0 references
implicit computational complexity
0 references
safe recursion
0 references
recursion on notation
0 references
minimization
0 references
nondeterministic polynomial time
0 references
multifunction
0 references
normal form theorem
0 references
