Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Auflistung nach Autor Lauser, Alexander
Anzeige der Treffer 1 bis 5 von 5
Erscheinungsdatum | Titel | Autor(en) |
2011 | Around dot-depth one | Kufleitner, Manfred; Lauser, Alexander |
2010 | First-order fragments with successor over infinite words | Kallas, Jakub; Kufleitner, Manfred; Lauser, Alexander |
2014 | Formal language theory of logic fragments | Lauser, Alexander |
2010 | Partially ordered two-way Büchi automata | Kufleitner, Manfred; Lauser, Alexander |
2010 | Rankers over infinite words | Dartois, Luc; Kufleitner, Manfred; Lauser, Alexander |