Sciweavers

12373 search results - page 27 / 2475
» Semi-Logarithmic Number Systems
Sort
View
CORR
2007
Springer
106views Education» more  CORR 2007»
13 years 7 months ago
Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials
Saugata Basu, Dmitrii V. Pasechnik, Marie-Fran&cce...
LICS
1991
IEEE
13 years 11 months ago
On the Deduction Rule and the Number of Proof Lines
d Abstract) Maria Luisa Bonet∗ Samuel R. Buss∗ Department of Mathematics Department of Mathematics U.C. Berkeley U.C. San Diego Berkeley, California 94720 La Jolla, California ...
Maria Luisa Bonet, Samuel R. Buss