Decidability of the Interval Temporal Logic ABB over the Natural Numbers.

Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco

Browse the full STACS paper archive.