1–20 of 188 hits

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

Filter results

Type of media

+ Show more

Source

+ Show more

Author

+ Show more

Subject

+ Show more

Type of material

Licence

Language

External sources

Searching...
  1.  

    Proper Functors and Fixed Points for Finite Behaviour

    Milius, Stefan | arXiv | 2017
  2.  

    Proper Functors and their Rational Fixed Point

    Milius, Stefan | DataCite | 2017
  3.  

    Coalgebras and axioms of iteration

    Milius, Stefan | TIBKAT | 2013
  4.  

    Varieties of Data Languages

    Urbat, Henning / Milius, Stefan | DataCite | 2019
  5.  

    On functors preserving coproducts and algebras with iterativity

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

    Equational Axiomatization of Algebras with Structure

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

    Varieties of Data Languages

    Urbat, Henning / Milius, Stefan | arXiv | 2019
  8.  

    Equational Axiomatization of Algebras with Structure

    Milius, Stefan / Urbat, Henning | Springer Verlag | 2019
  9.  

    Equational Axiomatization of Algebras with Structure

    Milius, Stefan / Urbat, Henning | arXiv | 2018
  10.  

    On Corecursive Algebras for Functors Preserving Coproducts

    Adámek, Jiří / Milius, Stefan | arXiv | 2017
  11.  

    On Corecursive Algebras for Functors Preserving Coproducts

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

    Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion

    Milius, Stefan / Litak, Tadeusz | IOS Press | 2017
  13.  

    Finitary Corecursion for the Infinitary Lambda Calculus

    Milius, Stefan / Wißmann, Thorsten | arXiv | 2015
  14.  

    Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion

    Milius, Stefan / Litak, Tadeusz | arXiv | 2016
  15.  

    Finitary Corecursion for the Infinitary Lambda Calculus

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

    Finitary Corecursion for the Infinitary Lambda Calculus

    Milius, Stefan / Wißmann, Thorsten | BASE | 2015
  17.  

    Observations on formal safety analysis in practice

    Huhn, Michaela / Milius, Stefan | Online Contents | 2014
  18.  

    Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion

    Milius, Stefan / Litak, Tadeusz | arXiv | 2013
  19.  

    Observations on formal safety analysis in practice

    Huhn, Michaela / Milius, Stefan | Elsevier | 2013
  20.  

    Automatic Verification of Application-Tailored OSEK Kernels

    Deifel, Hans-Peter / Milius, Stefan | TIBKAT | 2017

Number of results: 10 | 20 | 50

Feedback