
Proof complexity and feasible arithmetics
de Paul W. Beame, Samuel R. Buss
Materias
Ediciones (1)
- Proof complexity and feasible arithmetics (1998)
American Mathematical Society · inglés

de Paul W. Beame, Samuel R. Buss
American Mathematical Society · inglés