On the Complexity of Modal Separation Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stéphane Demri, Raul Fervari. On the Complexity of Modal Separation Logics. In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer, editors, Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. pages 179-198, College Publications, 2018. [doi]

This author has not been identified. Look up 'Stéphane Demri' in GoogleThis author has not been identified. Look up 'Raul Fervari' in Google

runs on WebDSL