Data sources in the TIB-Portal   Search help

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

1–4 of 4 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...
Preprint   Clear all
  • ««
  • «
  • 1
  • »»

  1. Efficient and Modular Coalgebraic Partition Refinement

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

  2. Efficient Coalgebraic Partition Refinement

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

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

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

  4. 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