1–5 of 5 hits

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

  • «
  • 1
  1.  

    Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

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

    Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

    Free access
    Dorsch, Ulrich / Milius, Stefan / Schröder, Lutz et al. | arXiv | 2018
  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.  

    Efficient Coalgebraic Partition Refinement

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

    Efficient and Modular Coalgebraic Partition Refinement

    Free access
    Wißmann, Thorsten / Dorsch, Ulrich / Milius, Stefan et al. | arXiv | 2018
  • «
  • 1

Number of results: 10 | 20 | 50

Feedback