842 search results - page 27 / 169 » Linear logic |
141
Voted
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
ENTCS
2006
15 years 4 months ago
2006
ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform
135
click to vote
AAI
2010
14 years 11 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
148
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
ICALP
2009
Springer
16 years 4 months ago
2009
Springer