174 search results - page 1 / 35 » Monotonicity in Calculational Proofs |
BIRTHDAY
1999
Springer
14 years 3 months ago
1999
Springer
We discuss the use of weakening and strengthening steps in calculational proofs. We present a metatheorem concerning monotonicity of positions in a formula that should have a more...
CJ
1999
13 years 10 months ago
1999
CSL
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
SIAMCOMP
2008
13 years 9 months ago
2008
We investigate structural properties of interactive perfect zero-knowledge (PZK) proofs. Specifically, we look into the closure properties of PZK languages under monotone boolean ...
ECCC
2002
13 years 10 months ago
2002
We shall give simpler proofs of some lower bounds on monotone computations. We describe a simple condition on combinatorial structures, such that the rank of the matrix associated...