2138 search results - page 160 / 428 » Logical Step-Indexed Logical Relations |
167
click to vote
ENTCS
2007
15 years 6 months ago
2007
We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...
180
click to vote
DAWAK
2000
Springer
15 years 11 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
182
click to vote
SWAP
2008
15 years 8 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
161
click to vote
ICTAI
2007
IEEE
16 years 25 days ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
164
click to vote
CAEPIA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...