The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
Crossref DOI link: https://doi.org/10.1007/s00224-017-9763-z
Published Online: 2017-05-16
Published Print: 2018-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kufleitner, Manfred
Wächter, Jan Philipp http://orcid.org/0000-0002-7801-6569
Funding for this research was provided by:
Deutsche Forschungsgemeinschaft (DI 435/5-2, KU 2716/1-1)
License valid from 2017-05-16