352 search results - page 4 / 71 » Proofs as Polynomials |
ICALP
2010
Springer
13 years 11 months ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
COCO
1992
Springer
13 years 10 months ago
1992
Springer
ENTCS
2008
13 years 6 months ago
2008
JCT
2000
13 years 6 months ago
2000
CORR
2007
Springer
13 years 6 months ago
2007
Springer
We define a multivariate polynomial that generalizes in a unified way the twovariable interlace polynomial defined by Arratia, Bollob´as and Sorkin on the one hand, and a one-...