author = { Diekert, Volker AND Kufleitner, Manfred },

title = { Fragments of first-order logic over infinite words },

publisher = {Fakultät Informatik, Elektrotechnik und Informationstechnik},

keywords = { Mathematische Logik , Halbgruppe , Automatentheorie , Reguläre Sprache },

year = {2009},

booktitle = {Technical Report / Universität Stuttgart, Fakultät Elektrotechnik, Informatik und Informationstechnik ; 2009,4},

address = { Stuttgart },

url = { http://slubdd.de/katalog?TN_libero_mab2 }