Data sources in the TIB-Portal   Search help

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

1–20 of 45 hits

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

Filter results

Year of publication

-

Type of media

+ Show more

Source

+ Show more

Author

+ Show more

Subject

Type of material

Licence

Language

External sources

Searching...

  1. Minimality Notions via Factorization Systems ((Co)algebraic pearls)

    Free access
    Wißmann, Thorsten | DataCite | 2021

  2. Supported Sets -- A New Foundation For Nominal Sets And Automata

    Free access
    Wißmann, Thorsten | ArXiv | 2022

  3. Minimality Notions via Factorization Systems and Examples

    Free access
    Wißmann, Thorsten | ArXiv | 2022

  4. Coalgebraic Semantics and Minimization in Sets and Beyond

    Wißmann, Thorsten | TIBKAT | 2020

  5. Minimality Notions via Factorization Systems

    Free access
    Wißmann, Thorsten | ArXiv | 2021

  6. Coalgebraic Semantics and Minimization in Sets and Beyond ; Koalgebraische Semantik und Minimierung in Mengen und darüber hinaus

    Free access
    Wißmann, Thorsten | BASE | 2020

  7. Coalgebraic Partition Refinement For All Functors

    Free access
    Jacobs, Jules / Wißmann, Thorsten | ArXiv | 2022

  8. Finitary Corecursion for the Infinitary Lambda Calculus

    Free access
    Milius, Stefan / Wißmann, Thorsten | ArXiv | 2015

  9. Finitary Corecursion for the Infinitary Lambda Calculus

    Free access
    Milius, Stefan / Wißmann, Thorsten | BASE | 2015

  10. Finitary Corecursion for the Infinitary Lambda Calculus

    Milius, Stefan / Wißmann, Thorsten | DataCite | 2015

  11. Regular Behaviours with Names

    On Rational Fixpoints of Endofunctors on Nominal Sets
    Milius, Stefan / Schröder, Lutz / Wißmann, Thorsten | Springer Verlag | 2016

  12. Regular Behaviours with Names

    Milius, Stefan / Schröder, Lutz / Wißmann, Thorsten | Online Contents | 2016

  13. A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and Its Properties

    Milius, Stefan / Pattinson, Dirk / Wißmann, Thorsten | British Library Conference Proceedings

  14. Explaining Behavioural Inequivalence Generically in Quasilinear Time

    Free access
    Wißmann, Thorsten / Milius, Stefan / Schröder, Lutz | DataCite | 2021

  15. Explaining Behavioural Inequivalence Generically in Quasilinear Time

    Free access
    Wißmann, Thorsten / Milius, Stefan / Schröder, Lutz | ArXiv | 2021

  16. A New Foundation for Finitary Corecursion and Iterative Algebras

    Free access
    Milius, Stefan / Pattinson, Dirk / Wißmann, Thorsten | ArXiv | 2018

  17. A New Foundation for Finitary Corecursion

    Free access
    Milius, Stefan / Pattinson, Dirk / Wißmann, Thorsten | ArXiv | 2016

  18. Regular Behaviours with Names

    Free access
    Milius, Stefan / Schröder, Lutz / Wißmann, Thorsten | ArXiv | 2016

  19. Coalgebra Encoding for Efficient Minimization

    Free access
    Deifel, Hans-Peter / Milius, Stefan / Wißmann, Thorsten | DataCite | 2021

  20. Nominal Automata with Name Binding

    Schröder, Lutz / Kozen, Dexter / Milius, Stefan et al. | Springer Verlag | 2017

Number of results: 10 | 20 | 50

Feedback