Skip to contents

  1. Lallement, Gerard [Author]

    Semigroups and combinatorial applications

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

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

  2. Diekert, Volker [Author]; Kufleitner, Manfred [Author]

    Fragments of first-order logic over infinite words

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Technischer Bericht ; 2009,4

  3. Köcher, Chris [Author] ; Kuske, Dietrich [Degree supervisor]; Muscholl, Anca [Degree supervisor]; Zetzsche, Georg [Degree supervisor] Technische Universität Ilmenau, Universitätsverlag Ilmenau

    Verification of automata with storage mechanisms

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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