114
Voted
TIME
2003
IEEE
15 years 10 months ago
2003
IEEE
131
Voted
TIME
2003
IEEE
15 years 10 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...
124
Voted
TIME
2003
IEEE
15 years 10 months ago
2003
IEEE
180
Voted
TIME
2003
IEEE
15 years 10 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...
143
Voted
TIME
2003
IEEE
15 years 10 months ago
2003
IEEE
