• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Undecidability in omega-Regular Languages

Vesa Halava, Tero Harju, Juhani Karhumäki, Undecidability in omega-Regular Languages. Fundamenta Informaticae 73(1-2), 1–7, 2006.

BibTeX entry:

@ARTICLE{jHaHaKa06a,
  title = {Undecidability in omega-Regular Languages},
  author = {Halava, Vesa and Harju, Tero and Karhumäki, Juhani},
  journal = {Fundamenta Informaticae},
  volume = {73},
  number = {1-2},
  publisher = {IOS Press},
  pages = {1–7},
  year = {2006},
}

Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics

Publication Forum rating of this publication: level 2

Edit publication