6978 search results - page 151 / 1396 » On Proofs in System P |
FTTCS
2008
15 years 6 months ago
2008
156
click to vote
IANDC
2006
15 years 6 months ago
2006
The paper presents a modular superposition calculus for the combination of firstorder theories involving both total and partial functions. The modularity of the calculus is a cons...
177
click to vote
SIAMCOMP
2000
15 years 6 months ago
2000
An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...
