6978 search results - page 294 / 1396 » On Proofs in System P |
166
click to vote
FMSD
2006
15 years 6 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
162
click to vote
JUCS
2008
15 years 6 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
109
click to vote
STOC
2004
ACM
16 years 7 months ago
2004
ACM
We continue the study of the trade-off between the length of PCPs and their query complexity, establishing the following main results (which refer to proofs of satisfiability of c...
179
click to vote
APPROX
2005
Springer
16 years 8 days ago
2005
Springer
We introduce a “derandomized” analogue of graph squaring. This operation increases the connectivity of the graph (as measured by the second eigenvalue) almost as well as squar...
149
click to vote
TAPSOFT
1987
Springer
15 years 10 months ago
1987
Springer
The Calculus of Constructions is a higher-order formalism for writing constructive proofs in a natural deduction style, inspired from work of de Bruijn [2, 3], Girard [12], Martin...