URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: nuc86-88636: His Bounded arithmetic, 1985(hdg. on NjP rept.: Buss, Samuel R.)
- found: Proof complexity and feasible arithmetics, 1997:CIP t.p. (Samuel R. Buss) data sht. (b. Aug. 6, 1957)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1986-09-29: new
- 1997-07-30: revised
Alternate Formats