Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

  • Oliver Fernandez Gil - , Universität Leipzig (Autor:in)
  • Karin Quaas - , Universität Leipzig (Autor:in)
  • Shiguang Feng - , Universität Leipzig (Autor:in)
  • Claudia Carapelle - , Universität Leipzig (Autor:in)

Details

OriginalspracheEnglisch
TitelProceedings 14th International Conference on Automata and Formal Languages
Herausgeber (Verlag)EPTCS
Seiten174-187
Seitenumfang14
PublikationsstatusVeröffentlicht - 2014
Peer-Review-StatusJa
Extern publiziertJa

Konferenz

Titel14th International Conference on Automata and Formal Languages
Veranstaltungsnummer
Dauer27 - 29 Mai 2014
BekanntheitsgradInternationale Veranstaltung
Ort
StadtSzeged
LandUngarn