Zum Inhalt springen

  1. Diekert, Volker [Verfasser:in]; Kufleitner, Manfred [Verfasser:in]

    Fragments of first-order logic over infinite words

    Bücher
    Online ansehen
    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