%0 Journal Article %1 kufleitner2018problem %A Kufleitner, Manfred %A Wächter, Jan Philipp %D 2018 %I Springer %J Theory of Computing Systems %K ubs_10005 ubs_20008 ubs_30080 ubs_40107 unibibliografie wos %N 3 %P 682-738 %R 10.1007/s00224-017-9763-z %T The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy %V 62

@article{kufleitner2018problem, added-at = {2020-03-16T12:05:56.000+0100}, affiliation = {Wachter, JP (Reprint Author), Univ Stuttgart, Inst Formale Methoden Informat, Stuttgart, Germany. Kufleitner, Manfred; Waechter, Jan Philipp, Univ Stuttgart, Inst Formale Methoden Informat, Stuttgart, Germany.}, author = {Kufleitner, Manfred and Wächter, Jan Philipp}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21ca3d8503aa7b4530ec480fb7f34cdfb/unibiblio}, doi = {10.1007/s00224-017-9763-z}, interhash = {901dabf645bbe2adb4fa818022a0e209}, intrahash = {1ca3d8503aa7b4530ec480fb7f34cdfb}, issn = {{1432-4350} and {1433-0490}}, journal = {Theory of Computing Systems}, keywords = {ubs_10005 ubs_20008 ubs_30080 ubs_40107 unibibliografie wos}, language = {eng}, number = 3, orcid-numbers = {Kufleitner, Manfred/0000-0003-3869-416X Wachter, Jan Philipp/0000-0002-7801-6569}, pages = {682-738}, publisher = {Springer}, research-areas = {Computer Science; Mathematics}, researcherid-numbers = {Kufleitner, Manfred/U-7725-2017}, timestamp = {2020-03-16T11:05:56.000+0100}, title = {The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy}, unique-id = {ISI:000427471200011}, volume = 62, year = 2018 }