Zum Inhalt springen

  4. Lallement, Gerard [VerfasserIn]

    Semigroups and combinatorial applications

    Bücher
    Schließen

    Merkliste

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

    New York, NY [u.a.]: Wiley, 1979

    Erschienen in: Pure and applied mathematics- A Wiley-Interscience publication

  7. 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

  8. Köcher, Chris [VerfasserIn] ; Kuske, Dietrich [AkademischeR BetreuerIn]; Muscholl, Anca [AkademischeR BetreuerIn]; Zetzsche, Georg [AkademischeR BetreuerIn] Technische Universität Ilmenau, Universitätsverlag Ilmenau

    Verification of automata with storage mechanisms

    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.

    Ilmenau: Universitätsverlag Ilmenau, 2023 ; Ilmenau: Universitätsbibliothek, 2023

  9. Perrin, Dominique [VerfasserIn] ; Pin, Jean Eric [Sonstige Person, Familie und Körperschaft] ScienceDirect (Online service)

    Infinite words : automata, semigroups, logic and games - [1st ed]

    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.

    Amsterdam; Boston: Elsevier, 2004 ; Online-Ausg.]

    Erschienen in: Pure and applied mathematics series ; 141