Treffer 1 – 2 von 2 für Suche 'Wißmann, Thorsten', 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
    Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence

    Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence von Wißmann, Thorsten, Milius, Stefan, Schröder, Lutz

    Veröffentlicht 2023
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Coalgebraic semantics and minimization in sets and beyond

    Coalgebraic semantics and minimization in sets and beyond von Wißmann, Thorsten

    Veröffentlicht 2020
    Volltext öffnen
    Abschlussarbeit Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: