2432 search results - page 119 / 487 » Cryptographic logical relations |
146
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
175
click to vote
AAAI
1996
15 years 6 months ago
1996
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Sp...
124
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In ...
115
click to vote
ADC
2004
Springer
15 years 10 months ago
2004
Springer
Reflective Relational Machines were introduced by S. Abiteboul, C. Papadimitriou and V. Vianu in 1994, as variations of Turing machines which are suitable for the computation of ...
120
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...