Zum Inhalt springen

  1. 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

  2. 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. 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

  6. Heckel, Reiko [VerfasserIn] ; Milius, Stefan [HerausgeberIn]

    Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

    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.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8089

  7. Kurz, Alexander [VerfasserIn] ; Lenisa, Marina [Sonstige Person, Familie und Körperschaft]; Tarlecki, Andrzej [Sonstige Person, Familie und Körperschaft]

    Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5728

  8. Mossakowski, Till [Sonstige Person, Familie und Körperschaft]; Haveraaen, Magne [Sonstige Person, Familie und Körperschaft]; Montanari, Ugo [Sonstige Person, Familie und Körperschaft]

    Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4624

  9. Fiadeiro, José Luis [Sonstige Person, Familie und Körperschaft]; Harman, Neil [Sonstige Person, Familie und Körperschaft]; Roggenbach, Markus [Sonstige Person, Familie und Körperschaft]; Rutten, Jan [Sonstige Person, Familie und Körperschaft]

    Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3629

  10. Corradini, Andrea [VerfasserIn] ; Klin, Bartek [Sonstige Person, Familie und Körperschaft]; Cîrstea, Corina [Sonstige Person, Familie und Körperschaft]

    Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6859