351 search results - page 71 / 71 » Classical Logic with Partial Functions |
121
Voted
ECCC
2007
15 years 3 months ago
2007
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixed-parameter tractable. We consider proofs that witness that a given pro...