Classifying Recognizable Infinitary Trace Languages Using Word Automata.
| Autor: | Chaturvedi, Namit, Gelderie, Marcus |
|---|---|
| Zdroj: | Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I; 2014, p171-182, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|