External Links

    Journal: Inf. Comput.

    Volume 205, Issue 1

    1 -- 0Jan Chomicki, David Toman. Special Issue: TIME 2005
    2 -- 24Stéphane Demri, Ranko Lazic, David Nowak. On the freeze quantifier in Constraint LTL: Decidability and complexity
    25 -- 64Andreas Schäfer. Axiomatisation and decidability of multi-dimensional Duration Calculus
    65 -- 98Kiyoung Yang, Cyrus Shahabi. An efficient k nearest neighbor search for multivariate time series
    99 -- 123Carsten Lutz, Dirk Walther, Frank Wolter. Quantitative temporal logics over the reals: PSpace and below
    runs on