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

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

  • Oliver Fernandez Gil - , Leipzig University (Author)
  • Karin Quaas - , Leipzig University (Author)
  • Shiguang Feng - , Leipzig University (Author)
  • Claudia Carapelle - , Leipzig University (Author)

Details

Original languageEnglish
Title of host publicationProceedings 14th International Conference on Automata and Formal Languages
PublisherEPTCS
Pages174-187
Number of pages14
Publication statusPublished - 2014
Peer-reviewedYes
Externally publishedYes

Conference

Title14th International Conference on Automata and Formal Languages
Conference number
Duration27 - 29 May 2014
Degree of recognitionInternational event
Location
CitySzeged
CountryHungary