5 search results - page 1 / 1 » coco 1999 |
COCO
1999
Springer
15 years 2 months ago
1999
Springer
COCO
1999
Springer
15 years 2 months ago
1999
Springer
COCO
1999
Springer
15 years 2 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...
100
click to vote
COCO
1999
Springer
15 years 2 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...
78
Voted
ICNP
1999
IEEE
15 years 2 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...