Theorem Proving for Metric Temporal Logic over the Naturals.

Ullrich Hustadt, Ana Ozaki, Clare Dixon

Browse the full CADE paper archive.