1–3 of 3 hits

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

  • «
  • 1
  1.  

    Efficient Coalgebraic Partition Refinement

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

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

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

    Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

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

Number of results: 10 | 20 | 50

Feedback