6978 search results - page 135 / 1396 » On Proofs in System P |
200
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
193
click to vote
SIAMCOMP
2000
15 years 6 months ago
2000
The interpolation method has been one of the main tools for proving lower bounds for propositional proof systems. Loosely speaking, if one can prove that a particular proof system ...
164
Voted
BIOSYSTEMS
2008
15 years 7 months ago
2008
170
Voted
FUIN
2007
15 years 7 months ago
2007
217
Voted
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...