1–20 of 188 hits

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

  1.  

    Coalgebras and axioms of iteration

    Milius, Stefan | TIBKAT | 2013
  2.  

    Varieties of Data Languages

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

    On functors preserving coproducts and algebras with iterativity

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

    Equational Axiomatization of Algebras with Structure

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

    Varieties of Data Languages

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

    Equational Axiomatization of Algebras with Structure

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

    Equational Axiomatization of Algebras with Structure

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

    On Corecursive Algebras for Functors Preserving Coproducts

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

    On Corecursive Algebras for Functors Preserving Coproducts

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

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

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

    Finitary Corecursion for the Infinitary Lambda Calculus

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

    Finitary Corecursion for the Infinitary Lambda Calculus

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

    Finitary Corecursion for the Infinitary Lambda Calculus

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

    Observations on formal safety analysis in practice

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

    Observations on formal safety analysis in practice

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

    Automatic Verification of Application-Tailored OSEK Kernels

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

Number of results: 10 | 20 | 50

Feedback