TY - GEN
AU - Diekert, Volker
AU - Kufleitner, Manfred
TI - Fragments of first-order logic over infinite words
PB - Fakultät Informatik, Elektrotechnik und Informationstechnik
KW - Mathematische Logik
KW - Halbgruppe
KW - Automatentheorie
KW - Reguläre Sprache
PY - 2009
BT - Technical Report / Universität Stuttgart, Fakultät Elektrotechnik, Informatik und Informationstechnik ; 2009,4
CY - Stuttgart
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation