On the expressiveness of MTL and TPTL over omega-data words

Claudia CarapelleClaudia Carapelle, Shiguang FengShiguang Feng, Oliver Fernández GilOliver Fernández Gil, Karin QuaasKarin Quaas

DOI Link

Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil, Karin Quaas
On the expressiveness of MTL and TPTL over omega-data words
In Zoltán Ésik, Zoltán Fülöp, eds., Proceedings 14th International Conference on Automata and Formal Languages, volume 151, 174--187, 2014. Electronic Proceedings in Theoretical Computer Science

Details
Bibtex

Weitere Informationen unter:Further Information: Link
Projekt:Project: QuantLA
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@Inproceedings{EPTCS151.12,
  author    = "Carapelle, Claudia and Feng, Shiguang and Fern\'andez Gil, Oliver and Quaas, Karin",
  year      = "2014",
  title     = "On the Expressiveness of TPTL and MTL over $\omega$-Data Words",
  editor    = "\'Esik, Zolt\'an and F\"ul\"op, Zolt\'an",
  booktitle = "{\rm Proceedings 14th International Conference on}
               Automata and Formal Languages,
               {\rm Szeged, Hungary, May 27-29, 2014}",
  series    = "Electronic Proceedings in Theoretical Computer Science",
  volume    = "151",
  publisher = "Open Publishing Association",
  pages     = "174-187",
  doi       = "10.4204/EPTCS.151.12",
}