1894 search results - page 32 / 379 » A TLA Proof System |
43
Voted
FTTCS
2008
15 years 22 days ago
2008
96
Voted
IANDC
2006
15 years 20 days 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...
85
Voted
JANCL
2007
15 years 17 days ago
2007
75
Voted
IJUFKS
2000
15 years 14 days ago
2000
113
click to vote
SIAMCOMP
2000
15 years 13 days 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...