2138 search results - page 144 / 428 » Logical Step-Indexed Logical Relations |
159
click to vote
ASIAN
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
152
click to vote
PEPM
2007
ACM
16 years 18 days ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
124
click to vote
CSB
2005
IEEE
16 years 3 days ago
2005
IEEE
Recently Bowers et al. [1] analyzed triplet logic relationships among 4873 Clusters of Orthologous Groups (COGS) from 67 fully sequenced organisms by calculating how well logic re...
190
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
197
click to vote
FSTTCS
1999
Springer
15 years 10 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...