Rezultaty - Stephane Demri

On Selective Unboundedness of VASS od Stéphane Demri

Dokumenty pełnotekstowe

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures od Stephane Demri, Karin Quaas

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe