Interval Temporal Logic on Natural Numbers

David Trachtenherz. Interval Temporal Logic on Natural Numbers. Archive of Formal Proofs, 2011, 2011. [doi]

Abstract

Abstract is missing.