Datenquellen im TIB-Portal   Hilfe zur Suche

Unser Tipp: Melden Sie sich an, um alle Funktionen im TIB-Portal optimal nutzen zu können!

1–11 von 11 Ergebnissen

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

Treffer filtern

Erscheinungsjahr

-

Medientyp

Datenquelle

+ Mehr anzeigen

Autor

Fach

Format

Lizenz

Sprache

Externe Quellen

Suchen...
  • ««
  • «
  • 1
  • »»

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

    Freier Zugriff
    Dorsch, Ulrich / Milius, Stefan | BASE | 2019

  2. Efficient Coalgebraic Partition Refinement

    Freier Zugriff
    Dorsch, Ulrich / Milius, Stefan | BASE | 2017

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

    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz | DataCite | 2019

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

    Freier Zugriff
    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz | ArXiv | 2018

  5. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz et al. | British Library Conference Proceedings

  6. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz et al. | Springer Verlag | 2018

  7. Efficient and Modular Coalgebraic Partition Refinement

    Freier Zugriff
    Wißmann, Thorsten / Dorsch, Ulrich / Milius, Stefan et al. | ArXiv | 2018

  8. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

    Freier Zugriff
    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz et al. | ArXiv | 2018

  9. Efficient Coalgebraic Partition Refinement

    Freier Zugriff
    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz et al. | ArXiv | 2017

  10. Efficient Coalgebraic Partition Refinement

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

  11. Arbeitserprobungs- und Berufsfindungsmaßnahmen für asthma- und allergiekranke Jugendliche : ein Modellprojekt der beruflichen Prävention und Rehabilitation

    Dorsch, Ulrich | Katalog Medizin | 1993
  • ««
  • «
  • 1
  • »»

Ergebnisse anzeigen: 10 | 20 | 50

Feedback