Inproceedings3077: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Claudia Carapelle (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Claudia |ErsterAutorNachname=Carapelle |FurtherAuthors=Shiguang Feng; Oliver Fernández Gil; Karin Quaas; }} {{…“) |
Claudia Carapelle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 2: | Zeile 2: | ||
|ErsterAutorVorname=Claudia | |ErsterAutorVorname=Claudia | ||
|ErsterAutorNachname=Carapelle | |ErsterAutorNachname=Carapelle | ||
|FurtherAuthors=Shiguang Feng; Oliver Fernández Gil; Karin Quaas; | |FurtherAuthors=Shiguang Feng; Oliver Fernández Gil; Karin Quaas; | ||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
| Zeile 12: | Zeile 12: | ||
|Pages=174--187 | |Pages=174--187 | ||
|Publisher=Electronic Proceedings in Theoretical Computer Science | |Publisher=Electronic Proceedings in Theoretical Computer Science | ||
|Editor= | |Editor=Zoltán Ésik, Zoltán Fülöp | ||
|Volume=151 | |Volume=151 | ||
}} | }} | ||
| Zeile 34: | Zeile 34: | ||
doi = "10.4204/EPTCS.151.12", | doi = "10.4204/EPTCS.151.12", | ||
} | } | ||
}} | }} | ||
Aktuelle Version vom 21. April 2016, 12:21 Uhr
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
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
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
- 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",
}
