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 = {Guram Bezhanishvili and Giovanna D'Agostino and George Metcalfe and Thomas Studer},
   month = aug,
   pages = {179-198},
   publisher = {College Publications},
   title = {On the complexity of modal separation logics},
   url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DF-aiml18.pdf},
   year = {2018},
}

About LSV

Select by Year