Zum Inhalt springen

  1. Diekert, Volker [HerausgeberIn]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]

    The book of traces

    Bücher
    Schließen

    Merkliste

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

    Singapore [u.a.]: World Scientific, 1995

  2. Kuske, Dietrich [VerfasserIn] ; Diekert, Volker [MitwirkendeR]; Droste, Manfred [MitwirkendeR]; Thomas, Wolfgang [MitwirkendeR]

    Contributions to a trace theory beyond Mazurkiewicz traces

    Hochschulschriften
    Online ansehen
    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, 2011-02-28

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

    The expressive power of simple logical fragments over traces

    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, 2006 ; Online-Ausg.: Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Erschienen in: Technischer Bericht ; 2006,6

  4. Kufleitner, Manfred [VerfasserIn]

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

    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, 2006 ; Online-Ausg.: Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Erschienen in: Technischer Bericht ; 2006,3