Expressiveness of Hybrid Temporal Logic on Data Words

Ahmet Kara, Thomas Schwentick. Expressiveness of Hybrid Temporal Logic on Data Words. Electronic Notes in Theoretical Computer Science, 278:115-128, 2011. [doi]

Abstract

Abstract is missing.