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 229 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

+ Show more

Type of material

Licence

Language

External sources

Searching...

  1. From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper)

    Milius, Stefan | DataCite | 2019

  2. Explaining Behavioural Inequivalence Generically in Quasilinear Time

    Free access
    Milius, Stefan | BASE | 2021

  3. From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper)

    Free access
    Milius, Stefan | BASE | 2019

  4. On Corecursive Algebras for Functors Preserving Coproducts

    Free access
    Milius, Stefan | BASE | 2017

  5. Proper Functors and their Rational Fixed Point

    Milius, Stefan | DataCite | 2017

  6. Proper Functors and their Rational Fixed Point

    Free access
    Milius, Stefan | BASE | 2017

  7. Proper Functors and Fixed Points for Finite Behaviour

    Free access
    Milius, Stefan | ArXiv | 2017

  8. Finitary Corecursion for the Infinitary Lambda Calculus

    Free access
    Milius, Stefan | BASE | 2015

  9. Coalgebras and axioms of iteration

    Milius, Stefan | TIBKAT | 2013

  10. Completely iterative algebras and completely iterative monads

    Milius, Stefan | Elsevier | 2003

  11. Equational Axiomatization of Algebras with Structure

    Free access
    Milius, Stefan / Urbat, Henning | Springer Verlag | 2019

  12. Varieties of Data Languages

    Urbat, Henning / Milius, Stefan | DataCite | 2019

  13. On functors preserving coproducts and algebras with iterativity

    Adámek, Jiří / Milius, Stefan | British Library Online Contents | 2019

  14. Equational Axiomatization of Algebras with Structure

    Milius, Stefan / Urbat, Henning | British Library Conference Proceedings

  15. A Linear-Time Nominal ?-Calculus with Name Allocation

    Free access
    Hausmann, Daniel / Milius, Stefan | BASE | 2021

  16. Varieties of Data Languages

    Free access
    Urbat, Henning / Milius, Stefan | BASE | 2019

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

    Free access
    Dorsch, Ulrich / Milius, Stefan | BASE | 2019

  18. Varieties of Data Languages

    Free access
    Urbat, Henning / Milius, Stefan | ArXiv | 2019

  19. On Corecursive Algebras for Functors Preserving Coproducts

    Adámek, Jiri / Milius, Stefan | DataCite | 2017

  20. Equational Axiomatization of Algebras with Structure

    Free access
    Milius, Stefan / Urbat, Henning | ArXiv | 2018

Number of results: 10 | 20 | 50

Feedback