Division in the Theory S02+ of Bounded Arithmetic. (Q4244822)
From MaRDI portal
scientific article; zbMATH DE number 1293500
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Division in the Theory S02+ of Bounded Arithmetic. |
scientific article; zbMATH DE number 1293500 |
Statements
Division in the Theory S02+ of Bounded Arithmetic. (English)
0 references
29 September 1999
0 references
bounded arithmetic
0 references
positive sequence number
0 references
code-version
0 references
division
0 references
