2062 search results - page 148 / 413 » Derivatives of Logical Formulas |
226
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
124
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
132
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
136
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
136
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...