2062 search results - page 203 / 413 » Derivatives of Logical Formulas |
171
click to vote
ACL
2009
15 years 4 months ago
2009
The use of figurative language is ubiquitous in natural language texts and it is a serious bottleneck in automatic text understanding. We address the problem of interpretation of ...
156
click to vote
ATS
2005
IEEE
15 years 8 months ago
2005
IEEE
Reversibility is of interest in achieving extremely low power dissipation; it is also an inherent design requirement of quantum computation. Logical fault models for conventional ...
199
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
185
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
161
click to vote
LFCS
1992
Springer
15 years 10 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...