The first author was supported by the German Research Foundation (DFG) under grants
DI 435/5-2 and KU 2716/1-1
History
School
Science
Department
Computer Science
Published in
Theory of Computing Systems
Pages
1 - 57
Citation
KUFLEITNER, M. and WACHTER, J.P., 2017. The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy. Theory of Computing Systems, 62 (3), pp.682–738.
This work is made available according to the conditions of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) licence. Full details of this licence are available at: https://creativecommons.org/licenses/by-nc-nd/4.0/
Acceptance date
2016-12-21
Publication date
2017-05-16
Notes
This is a post-peer-review, pre-copyedit version of an article published in Theory of Computing Systems. The final authenticated version is available online at: http://dx.doi.org/10.1007/s00224-017-9763-z.