External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Ahmet Kara

This author has not been identified. Look up 'Ahmet Kara' in Google

Thomas Schwentick

This author has not been identified. It may be one of the following persons: Look up 'Thomas Schwentick' in Google

Thomas Zeume

This author has not been identified. Look up 'Thomas Zeume' in Google
runs on