Skip to contents

  1. Demri, Stéphane [Author]; Orłowska, Ewa [Author] ; Demri, Stéphane P. [Other]

    Incomplete information : structure, inference, complexity

    Books
    Close

    Bookmarks

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

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

    Published in: Monographs in theoretical computer science - an EATCS series

  4. Demri, Stéphane [Author] ; Kapur, Deepak [Editor]; Weidenbach, Christoph [Editor]

    Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham [u.a.]: Springer, 2014

    Published in: Lecture notes in computer science ; 8562

  7. Brochenin, Rémi [Author] ; Cachan, Ecole normale supérieure [Contributor]; Demri, Stéphane P. [Contributor]

    Separation logic : expressiveness, complexity, temporal extension ; Logique de séparation : expressivité, complexité, extension temporelle

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2013-09-25

  8. Demri, Stéphane [Author]; Lozes, Etienne [Author]; Mansutti, Alessio [Author] ; Stéphane Demri and Etienne Lozes and Alessio Mansutti [Contributor]

    Internal Calculi for Separation Logics

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

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

  9. Demri, Stéphane [Author]; Lozes, Etienne [Author]; Lugiez, Denis [Author] ; Stéphane Demri and Etienne Lozes and Denis Lugiez [Contributor]

    On Symbolic Heaps Modulo Permission Theories

    Articles
    View online
    Schließen

    Access

    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

  10. Mansutti, Alessio [Author] ; université Paris-Saclay [Contributor]; Demri, Stéphane P. [Contributor]; Lozes, Etienne [Contributor]

    Reasoning with separation logics : complexity, expressive power, proof systems ; Logiques de séparation : complexité, expressivité, calculs

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2020-12-10