5 search results - page 1 / 1 » coco 1999 |
COCO
1999
Springer
13 years 10 months ago
1999
Springer
COCO
1999
Springer
13 years 10 months ago
1999
Springer
COCO
1999
Springer
13 years 10 months ago
1999
Springer
In this paper, we show how to extend the argument due to Bonet, Pitassi and Raz to show that bounded-depth Frege proofs do not have feasible interpolation, assuming that factoring...
COCO
1999
Springer
13 years 10 months ago
1999
Springer
Recent work by Bernasconi, Damm and Shparlinski showed that the set of square-free numbers is not in AC0 , and raised as an open question whether similar (or stronger) lower bound...
ICNP
1999
IEEE
13 years 10 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...