3333 search results - page 136 / 667 » Abstract Proof Search |
152
Voted
SP
2008
IEEE
15 years 2 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
151
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...
107
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
125
click to vote
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...
143
click to vote
ENDM
2010
15 years 3 months ago
2010
We present a class of instances of the existence of a second object of a specified type, in fact, of an even number of objects of a specified type, which generalizes the existence...