Zum Inhalt springen

  3. Kufleitner, Manfred [VerfasserIn]

    Polynomials, fragments of temporal logic and the variety DA over traces

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Erschienen in: Technischer Bericht ; 2006,3

  4. Kufleitner, Manfred [VerfasserIn]

    A proof of the factorization forest theorem

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2007 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Erschienen in: Technischer Bericht ; 2007,5

  7. Fleischer, Lukas [VerfasserIn]; Kufleitner, Manfred [VerfasserIn] ; Lukas Fleischer and Manfred Kufleitner [MitwirkendeR]

    Efficient Algorithms for Morphisms over Omega-Regular Languages

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  9. Huschenbett, Martin [VerfasserIn]; Kufleitner, Manfred [VerfasserIn] ; International Symposium on Theoretical Aspects of Computer Science (STACS) [MitwirkendeR]; 31 (Lyon) : 2014.03.05-08 [MitwirkendeR]

    Ehrenfeucht-Fraïssé games on omega-terms

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Digital Library Thüringen, 2014-03

  10. Kufleitner, Manfred [VerfasserIn]; Lauser, Alexander [VerfasserIn] ; Manfred Kufleitner and Alexander Lauser [MitwirkendeR]

    Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013

  13. Diekert, Volker [VerfasserIn]; Kufleitner, Manfred [VerfasserIn]

    Fragments of first-order logic over infinite words

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2009 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Erschienen in: Technischer Bericht ; 2009,4

  15. Kufleitner, Manfred [VerfasserIn]; Lauser, Alexander [VerfasserIn]

    Partially ordered two-way Büchi automata

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2010 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Erschienen in: Technischer Bericht ; 2010,3

  16. Horsch, Martin [VerfasserIn]; Kufleitner, Manfred [VerfasserIn]

    The expressive power of simple logical fragments over traces

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Erschienen in: Technischer Bericht ; 2006,6

  17. Hertrampf, Ulrich [Sonstige Person, Familie und Körperschaft]; Kufleitner, Manfred [Sonstige Person, Familie und Körperschaft]; Rosenberger, Gerhard [Sonstige Person, Familie und Körperschaft]

    Discrete Algebraic Methods : Arithmetic, Cryptography, Automata and Groups

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin ;Boston: De Gruyter, 2016

    Erschienen in: De Gruyter Textbook

  18. Diekert, Volker [VerfasserIn]; Jez, Artur [VerfasserIn]; Kufleitner, Manfred [VerfasserIn] ; Volker Diekert and Artur Jez and Manfred Kufleitner [MitwirkendeR]

    Solutions of Word Equations Over Partially Commutative Structures

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  19. Diekert, Volker [VerfasserIn]; Kufleitner, Manfred [VerfasserIn]; Rosenberger, Gerhard [VerfasserIn]

    Diskrete algebraische Methoden : Arithmetik, Kryptographie, Automaten und Gruppen

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: De Gruyter, 2013 ; Online-Ausg., Berlin: De Gruyter Online

    Erschienen in: De Gruyter Studium

  20. Diekert, Volker [VerfasserIn]; Kufleitner, Manfred [VerfasserIn]; Rosenberger, Gerhard [VerfasserIn]

    Elemente der diskreten Mathematik : Zahlen und Zählen, Graphen und Verbände

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: De Gruyter, 2013 ; Online-Ausg., Berlin: De Gruyter Online

    Erschienen in: De Gruyter Studium