16. TIME 2009: Bressanone-Brixen, Italy

Invited Talks

CTL

Temporal Databases

Temporal Logic Foundations

Temporal Logic Extensions

Natural Language and Algebraic Approaches

Interval Algebra