58
Voted
TIME
2003
IEEE
15 years 4 months ago
2003
IEEE
TIME
2003
IEEE
15 years 4 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
93
Voted
TIME
2003
IEEE
15 years 4 months ago
2003
IEEE
TIME
2003
IEEE
15 years 4 months ago
2003
IEEE
112
Voted
TIME
2003
IEEE
15 years 4 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
TIME
2003
IEEE
15 years 4 months ago
2003
IEEE
