Selected publications at LSV

@inproceedings{BLS-aiml18,
   address = {Bern, Switzerland},
   author = {Baelde, David and Lick, Anthony and Schmitz, Sylvain},
   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 = {A Hypersequent Calculus with Clusters for Linear Frames},
   year = {2018},
}

About LSV

Select by Year