The Join Levels of the Trotter-Weil Hierarchy Are Decidable

By Manfred Kufleitner and Alexander Lauser

Publisher: Springer Berlin Heidelberg

Year: 2012

DOI identifier: 10.1007/978-3-642-32589-2_53

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

http://arxiv.org/pdf/1204.4672... (external link)