%0 Journal Article
%1 journals/mst/KufleitnerW18a
%A Kufleitner, Manfred
%A Wächter, Jan Philipp
%D 2018
%J Theory Comput. Syst.
%K dblp
%N 3
%P 682-738
%T The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy.
%U http://dblp.uni-trier.de/db/journals/mst/mst62.html#KufleitnerW18a
%V 62
@article{journals/mst/KufleitnerW18a,
added-at = {2018-11-30T00:00:00.000+0100},
author = {Kufleitner, Manfred and Wächter, Jan Philipp},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cea82f547742a8163629312da66d4c5a/dblp},
ee = {https://doi.org/10.1007/s00224-017-9763-z},
interhash = {901dabf645bbe2adb4fa818022a0e209},
intrahash = {cea82f547742a8163629312da66d4c5a},
journal = {Theory Comput. Syst.},
keywords = {dblp},
number = 3,
pages = {682-738},
timestamp = {2019-09-27T08:45:39.000+0200},
title = {The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy.},
url = {http://dblp.uni-trier.de/db/journals/mst/mst62.html#KufleitnerW18a},
volume = 62,
year = 2018
}