Data sources in the TIB-Portal   Search help

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

1–9 of 9 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...
Electronic Resource   Clear all
  • ««
  • «
  • 1
  • »»

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

    Free access
    Dorsch, Ulrich / Milius, Stefan | BASE | 2019

  2. Efficient Coalgebraic Partition Refinement

    Free access
    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

    Free access
    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz | ArXiv | 2018

  5. Efficient and Modular Coalgebraic Partition Refinement

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

  6. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

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

  7. Efficient Coalgebraic Partition Refinement

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

  8. Efficient Coalgebraic Partition Refinement

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

  9. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

    Free access
    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz et al. | ArXiv | 2018
  • ««
  • «
  • 1
  • »»

Number of results: 10 | 20 | 50

Feedback