@inproceedings{DBLP:conf/aiml/DemriF18,
  author       = {St{\'{e}}phane Demri and
                  Raul Fervari},
  editor       = {Guram Bezhanishvili and
                  Giovanna D'Agostino and
                  George Metcalfe and
                  Thomas Studer},
  title        = {On the Complexity of Modal Separation Logics},
  booktitle    = {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},
  publisher    = {College Publications},
  year         = {2018},
  url          = {http://www.aiml.net/volumes/volume12/Demri-Fervari.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/DemriF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"WvvWBuoj7qj76E2sA","bibbaseid":"demri-fervari-onthecomplexityofmodalseparationlogics-2018","authorIDs":["Crbmah7zN8yvGFp8w"],"author_short":["Demri, S.","Fervari, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stéphane"],"propositions":[],"lastnames":["Demri"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]}],"editor":[{"firstnames":["Guram"],"propositions":[],"lastnames":["Bezhanishvili"],"suffixes":[]},{"firstnames":["Giovanna"],"propositions":[],"lastnames":["D'Agostino"],"suffixes":[]},{"firstnames":["George"],"propositions":[],"lastnames":["Metcalfe"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Studer"],"suffixes":[]}],"title":"On the Complexity of Modal Separation Logics","booktitle":"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","publisher":"College Publications","year":"2018","url":"http://www.aiml.net/volumes/volume12/Demri-Fervari.pdf","timestamp":"Tue, 16 Jan 2024 17:18:03 +0100","biburl":"https://dblp.org/rec/conf/aiml/DemriF18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aiml/DemriF18,\n author = {St{\\'{e}}phane Demri and\n Raul Fervari},\n editor = {Guram Bezhanishvili and\n Giovanna D'Agostino and\n George Metcalfe and\n Thomas Studer},\n title = {On the Complexity of Modal Separation Logics},\n booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on\n \"Advances in Modal Logic,\" held in Bern, Switzerland, August 27-31,\n 2018},\n pages = {179--198},\n publisher = {College Publications},\n year = {2018},\n url = {http://www.aiml.net/volumes/volume12/Demri-Fervari.pdf},\n timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},\n biburl = {https://dblp.org/rec/conf/aiml/DemriF18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Demri, S.","Fervari, R."],"editor_short":["Bezhanishvili, G.","D'Agostino, G.","Metcalfe, G.","Studer, T."],"key":"DBLP:conf/aiml/DemriF18","id":"DBLP:conf/aiml/DemriF18","bibbaseid":"demri-fervari-onthecomplexityofmodalseparationlogics-2018","role":"author","urls":{"Paper":"http://www.aiml.net/volumes/volume12/Demri-Fervari.pdf"},"metadata":{"authorlinks":{"fervari, r":"https://bibbase.org/show?bib=https://dblp.org/pid/117/9953.bib"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/9953.bib","creationDate":"2021-03-11T01:47:07.500Z","downloads":0,"keywords":[],"search_terms":["complexity","modal","separation","logics","demri","fervari"],"title":"On the Complexity of Modal Separation Logics","year":2018,"dataSources":["MSnnygamX7qXNxsq6","HJM7dqFRHjcZZmjge","KKtjZs868TWfeLxN2"]}