Treffer 1 – 3 von 3 für Suche 'Kupke, Clemens', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Bisimulation for neighbourhood structures

    Bisimulation for neighbourhood structures von Hansen, Helle Hvid, Kupke, Clemens, Pacuit, Eric

    Veröffentlicht 2007
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Of the Hennessy-Milner porperty and other demons

    Of the Hennessy-Milner porperty and other demons von Leal, Raul, Kupke, Clemens

    Veröffentlicht 2009
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Stone coalgebras

    Stone coalgebras von Kupke, Clemens, Kurz, Alexander, Venema, Yde

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: