Skip to contents

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