Selected publications at LSV

@inproceedings{DF-aiml18,
   address = {Bern, Switzerland},
   author = {Demri, St{\'e}phane and Fervari, Raul},
   booktitle = {{P}roceedings of the 10th {C}onference on {A}dvances in {M}odal {L}ogics ({AiML}'18)},
   editor = {Bezhanishvili, Guram and D'Agostino, Giovanna},
   month = aug,
   note = {To appear},
   publisher = {College Publications},
   title = {On the complexity of modal separation logics},
   year = {2018},
}

About LSV

Select by Year