Showing 1 - 5 results of 5 for search 'Stephane Demri', query time: 0.02s Refine Results
  1. 1
    Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?

    Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? by Bartosz Bednarczyk, Stéphane Demri

    Published 2022-07-01
    Get full text
    Article
  2. 2
    The complexity of linear-time temporal logic over the class of ordinals

    The complexity of linear-time temporal logic over the class of ordinals by Stephane Demri, Alexander Rabinovich

    Published 2010-12-01
    Get full text
    Article
  3. 3
    Reasoning about Data Repetitions with Counter Systems

    Reasoning about Data Repetitions with Counter Systems by Stephane Demri, Diego Figueira, M Praveen

    Published 2016-08-01
    Get full text
    Article
  4. 4
    A Complete Axiomatisation for Quantifier-Free Separation Logic

    A Complete Axiomatisation for Quantifier-Free Separation Logic by Stéphane Demri, Étienne Lozes, Alessio Mansutti

    Published 2021-08-01
    Get full text
    Article
  5. 5
    Petri Net Reachability Graphs: Decidability Status of First Order Properties

    Petri Net Reachability Graphs: Decidability Status of First Order Properties by Philippe Darondeau, Stephane Demri, Roland Meyer, Christophe Morvan

    Published 2012-10-01
    Get full text
    Article

Search Tools: