The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy.
Saved in:
| Title: | The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy. |
|---|---|
| Authors: | Kufleitner, Manfred1, kufleitner@fmi.uni-stuttgart.de, Wächter, Jan Philipp1, jan-philipp.waechter@fmi.uni-stuttgart.de |
| Source: | Theory of Computing Systems; Apr2018, Vol. 62 Issue 3, p682-738, 57p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 14324350 |
|---|---|
| DOI: | 10.1007/s00224-017-9763-z |
