Showing 1 - 8 results of 8 for search 'Demri, S', query time: 1.70s
Refine Results
-
1
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? by Bartosz Bednarczyk, Stéphane Demri
Published 2022-07-01
Article -
2
The complexity of linear-time temporal logic over the class of ordinals by Stephane Demri, Alexander Rabinovich
Published 2010-12-01
Article -
3
A complete axiomisation for quantifier-free separation logic by Demri, S, Lozes, E, Mansutti, A
Published 2021Journal article -
4
Internal proof calculi for modal logics with separating conjunction by Demri, S, Fervari, R, Mansutti, A
Published 2021Journal article -
5
The effects of adding reachability predicates in quantifier-free separation logic by Demri, S, Lozes, É, Mansutti, A
Published 2021Journal article -
6
Reasoning about Data Repetitions with Counter Systems by Stephane Demri, Diego Figueira, M Praveen
Published 2016-08-01
Article -
7
A Complete Axiomatisation for Quantifier-Free Separation Logic by Stéphane Demri, Étienne Lozes, Alessio Mansutti
Published 2021-08-01
Article -
8
Petri Net Reachability Graphs: Decidability Status of First Order Properties by Philippe Darondeau, Stephane Demri, Roland Meyer, Christophe Morvan
Published 2012-10-01
Article