Data sources in the TIB-Portal   Search help

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

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

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

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

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