Zum Inhalt springen

  4. Kurz, Alexander [HerausgeberIn]; Lenisa, Marina [Sonstige Person, Familie und Körperschaft]; Tarlecki, Andrzej [Sonstige Person, Familie und Körperschaft] ; CALCO 3 2009 Udine

    Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5728

  5. Mossakowski, Till [HerausgeberIn]; Montanari, Ugo [Sonstige Person, Familie und Körperschaft]; Haveraaen, Magne [Sonstige Person, Familie und Körperschaft] ; CALCO 2 2007 Bergen

    Algebra and coalgebra in computer science : second International Conference, CALCO 2007, Bergen, Norway, August 20 - 24, 2007, proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4624

  7. Turkenburg, Ruben [VerfasserIn]; Beohar, Harsh [VerfasserIn]; Kupke, Clemens [VerfasserIn]; Rot, Jurriaan [VerfasserIn] ; Ruben Turkenburg and Harsh Beohar and Clemens Kupke and Jurriaan Rot [MitwirkendeR]

    Forward and Backward Steps in a Fibration

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  12. Liittschwager, Nathan [VerfasserIn]; Tsampas, Stelios [VerfasserIn]; Castello, Jonathan [VerfasserIn]; Kuper, Lindsey [VerfasserIn] ; Nathan Liittschwager and Stelios Tsampas and Jonathan Castello and Lindsey Kuper [MitwirkendeR]

    CRDTs, Coalgebraically (Early Ideas)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  16. Balan, Adriana [VerfasserIn]; Kurz, Alexander [VerfasserIn]; Velebil, Jiri [VerfasserIn] ; Adriana Balan and Alexander Kurz and Jiri Velebil [MitwirkendeR]

    Extensions of Functors From Set to V-cat

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  17. Bonsangue, Marcello [VerfasserIn]; Caltais, Georgiana [VerfasserIn]; Goriac, Eugen-Ioan [VerfasserIn]; Lucanu, Dorel [VerfasserIn]; Rutten, Jan [VerfasserIn]; Silva, Alexandra [VerfasserIn]

    Automatic equivalence proofs for non-deterministic coalgebras

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KOPS - The Institutional Repository of the University of Konstanz, 2013

    Erschienen in: Science of Computer Programming. 2013, 78(9), pp. 1324-1345. ISSN 0167-6423. eISSN 1872-7964. Available under: doi:10.1016/j.scico.2012.07.001

  18. Ford, Chase [VerfasserIn] ; Schröder, Lutz [AkademischeR BetreuerIn]; Sokolova, Ana [Sonstige Person, Familie und Körperschaft]

    Presentations of Graded Coalgebraic Semantics

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2023

  19. Wißmann, Thorsten [VerfasserIn] ; Milius, Stefan [AkademischeR BetreuerIn]; Milius, Stefan [Sonstige Person, Familie und Körperschaft]; König, Barbara [Sonstige Person, Familie und Körperschaft]

    Coalgebraic Semantics and Minimization in Sets and Beyond

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2020