Undecidability in omega-Regular Languages

Vesa Halava, Tero Harju, Juhani Karhumäki. Undecidability in omega-Regular Languages. Fundamenta Informaticae, 73(1-2):119-125, 2006. [doi]

Authors

Vesa Halava

This author has not been identified. Look up 'Vesa Halava' in Google

Tero Harju

This author has not been identified. Look up 'Tero Harju' in Google

Juhani Karhumäki

This author has not been identified. Look up 'Juhani Karhumäki' in Google