Seite 1 von 7 Ergebnissen

Sortieren nach: Relevanz | Aktualität neu zuerst | Titel A-Z

  • «
  • 1
  1.  

    Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum

    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz | arXiv | 2018
  2.  

    Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz et al. | arXiv | 2018
  3.  

    Efficient Coalgebraic Partition Refinement

    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz et al. | arXiv | 2017
  4.  

    Einheitliche Dokumentation der Gesamt- und Zwischenergebnisse der Energiebilanz nach DIN V 18599

    Dorsch, Lutz / Jagnow, Kati / Dorsch und Hoffmann GmbH Institut für Energieeffizienz et al. | TIBKAT | 2020
  5.  

    Efficient and Modular Coalgebraic Partition Refinement

    Wißmann, Thorsten / Dorsch, Ulrich / Milius, Stefan et al. | arXiv | 2018
  • «
  • 1

Ergebnisse anzeigen: 10 | 20 | 50

Feedback