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

  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

  12. Darondeau, Philippe [Author]; Demri, Stéphane [Author]; Meyer, Roland [Author]; Morvan, Christophe [Author] ; Philippe Darondeau and Stéphane Demri and Roland Meyer and Christophe Morvan [Contributor]

    Petri Net Reachability Graphs: Decidability Status of FO Properties

    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, 2011

  13. Demri, Stéphane [Author]; Jurdzinski, Marcin [Author]; Lachish, Oded [Author]; Lazic, Ranko [Author] ; Stéphane Demri and Marcin Jurdzinski and Oded Lachish and Ranko Lazic [Contributor]

    The Covering and Boundedness Problems for Branching Vector Addition Systems

    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, 2009