Temporal Logics on Words with Multiple Data Values

Ahmet Kara, Thomas Schwentick, Thomas Zeume. Temporal Logics on Words with Multiple Data Values. In Kamal Lodaya, Meena Mahajan, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. Volume 8 of LIPIcs, pages 481-492, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]

Abstract

Abstract is missing.