Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Auflistung nach Autor Kufleitner, Manfred
Anzeige der Treffer 1 bis 10 von 10
Erscheinungsdatum | Titel | Autor(en) |
2011 | Around dot-depth one | Kufleitner, Manfred; Lauser, Alexander |
2006 | The expressive power of simple logical fragments over traces | Horsch, Martin; Kufleitner, Manfred |
2010 | First-order fragments with successor over infinite words | Kallas, Jakub; Kufleitner, Manfred; Lauser, Alexander |
2009 | Fragments of first-order logic over infinite words | Diekert, Volker; Kufleitner, Manfred |
2006 | Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizations | Kufleitner, Manfred |
2009 | On smoothed analysis of quicksort and hoare's find | Fouz, Mahmoud; Kufleitner, Manfred; Manthey, Bodo; Zeini Jahromi, Nima |
2010 | Partially ordered two-way Büchi automata | Kufleitner, Manfred; Lauser, Alexander |
2006 | Polynomials, fragments of temporal logic and the variety DA over traces | Kufleitner, Manfred |
2007 | A proof of the factorization forest theorem | Kufleitner, Manfred |
2010 | Rankers over infinite words | Dartois, Luc; Kufleitner, Manfred; Lauser, Alexander |