The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy - (Extended Abstract).

Manfred Kufleitner, Jan Philipp Wchter

Browse the full CSR paper archive.