Skip to contents

  2. Schmid, Todd [Author]; Kappé, Tobias [Author]; Kozen, Dexter [Author]; Silva, Alexandra [Author] ; Todd Schmid and Tobias Kappé and Dexter Kozen and Alexandra Silva [Contributor]

    Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  4. Dal Lago, Ugo [Author]; Gavazzo, Francesco [Author]; Yoshimizu, Akira [Author] ; Ugo Dal Lago and Francesco Gavazzo and Akira Yoshimizu [Contributor]

    Differential Logical Relations, Part I: The Simply-Typed Case (Track B: Automata, Logic, Semantics, and Theory of Programming)

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  5. Lahiri, Shuvendu K. [Author]; Murawski, Andrzej [Author]; Strichman, Ofer [Author]; Ulbrich, Mattias [Author] ; Shuvendu K. Lahiri and Andrzej Murawski and Ofer Strichman and Mattias Ulbrich [Contributor]

    Program Equivalence (Dagstuhl Seminar 18151)

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  7. Różowski, Wojciech [Author]; Kappé, Tobias [Author]; Kozen, Dexter [Author]; Schmid, Todd [Author]; Silva, Alexandra [Author] ; Wojciech Różowski and Tobias Kappé and Dexter Kozen and Todd Schmid and Alexandra Silva [Contributor]

    Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  10. Iooss, Guillaume [Author] ; Lyon [Contributor]; Colorado state university [Contributor]; Darte, Alain [Contributor]; Rajopadhye, Sanjay [Contributor]

    Detection of linear algebra operations in polyhedral programs ; Reconnaissance d'opérations d'algèbre linéaire dans un programme polyédrique

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2016-07-01

  13. Kayal, Neeraj [Author]; Nair, Vineet [Author]; Saha, Chandan [Author]; Tavenas, Sébastien [Author] ; Neeraj Kayal and Vineet Nair and Chandan Saha and Sébastien Tavenas [Contributor]

    Reconstruction of Full Rank Algebraic Branching Programs

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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