Data sources in the TIB-Portal   Search help

Our Tip: Log in for optimal use of all functions in the TIB Portal!

1–5 of 5 hits

Sort by: Relevancy | Date newest | Title A-Z

Filter results

Year of publication

-

Type of media

Source

Author

Subject

Type of material

Licence

Language

External sources

Searching...
Licensed (where required)   Clear all
  • ««
  • «
  • 1
  • »»

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

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

  2. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

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

  3. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

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

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

    Dorsch, Ulrich | Catalogue medicine | 1993

  5. Efficient Coalgebraic Partition Refinement

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

Number of results: 10 | 20 | 50

Feedback