1–7 of 7 hits

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

  • «
  • 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.  

    Efficient Coalgebraic Partition Refinement

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

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

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

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

    Free access
    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz | arXiv | 2018
  6.  

    Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

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

    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