1536 search results - page 89 / 308 » The Underlying Logic of Hoare Logic |
DAC
2005
ACM
15 years 11 months ago
2005
ACM
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
153
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
When integrating data from heterogeneous sources, it is often necessary to transform both the schemas and the data from the underlying sources in order to present the integrated d...
115
click to vote
LORI
2009
Springer
15 years 4 months ago
2009
Springer
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
IJCNN
2007
IEEE
15 years 4 months ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...