6978 search results - page 145 / 1396 » On Proofs in System P |
193
click to vote
AISC
2004
Springer
15 years 12 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
168
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
179
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Mobile ad hoc networking has been an active research area for several years. How to stimulate cooperation among selfish mobile nodes, however, is not well addressed yet. In th...
145
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
153
click to vote
DIMVA
2010
15 years 8 months ago
2010
We present Conqueror, a software-based attestation scheme for tamper-proof code execution on untrusted legacy systems. Beside providing load-time attestation of a piece of code, Co...