3552 search results - page 164 / 711 » Proof theory in the abstract |
142
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must...
150
click to vote
TGC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
121
click to vote
ICNS
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— The theory of promises describes policy governed services, in a framework of completely autonomous agents, which assist one another by voluntary cooperation alone. We p...
150
click to vote
AML
2008
15 years 5 months ago
2008
Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...
282
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...