@inproceedings{DBLP:conf/jelia/DemriFM19,
  author       = {St{\'{e}}phane Demri and
                  Raul Fervari and
                  Alessio Mansutti},
  editor       = {Francesco Calimeri and
                  Nicola Leone and
                  Marco Manna},
  title        = {Axiomatising Logics with Separating Conjunction and Modalities},
  booktitle    = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
                  2019, Rende, Italy, May 7-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11468},
  pages        = {692--708},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-19570-0\_45},
  doi          = {10.1007/978-3-030-19570-0\_45},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/DemriFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"dpg8qoFPJqZDbStv6","bibbaseid":"demri-fervari-mansutti-axiomatisinglogicswithseparatingconjunctionandmodalities-2019","authorIDs":["Crbmah7zN8yvGFp8w"],"author_short":["Demri, S.","Fervari, R.","Mansutti, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stéphane"],"propositions":[],"lastnames":["Demri"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Alessio"],"propositions":[],"lastnames":["Mansutti"],"suffixes":[]}],"editor":[{"firstnames":["Francesco"],"propositions":[],"lastnames":["Calimeri"],"suffixes":[]},{"firstnames":["Nicola"],"propositions":[],"lastnames":["Leone"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Manna"],"suffixes":[]}],"title":"Axiomatising Logics with Separating Conjunction and Modalities","booktitle":"Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings","series":"Lecture Notes in Computer Science","volume":"11468","pages":"692–708","publisher":"Springer","year":"2019","url":"https://doi.org/10.1007/978-3-030-19570-0\\_45","doi":"10.1007/978-3-030-19570-0_45","timestamp":"Sun, 04 Aug 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/jelia/DemriFM19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/jelia/DemriFM19,\n author = {St{\\'{e}}phane Demri and\n Raul Fervari and\n Alessio Mansutti},\n editor = {Francesco Calimeri and\n Nicola Leone and\n Marco Manna},\n title = {Axiomatising Logics with Separating Conjunction and Modalities},\n booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}\n 2019, Rende, Italy, May 7-11, 2019, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11468},\n pages = {692--708},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-19570-0\\_45},\n doi = {10.1007/978-3-030-19570-0\\_45},\n timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/jelia/DemriFM19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Demri, S.","Fervari, R.","Mansutti, A."],"editor_short":["Calimeri, F.","Leone, N.","Manna, M."],"key":"DBLP:conf/jelia/DemriFM19","id":"DBLP:conf/jelia/DemriFM19","bibbaseid":"demri-fervari-mansutti-axiomatisinglogicswithseparatingconjunctionandmodalities-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-19570-0\\_45"},"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.491Z","downloads":0,"keywords":[],"search_terms":["axiomatising","logics","separating","conjunction","modalities","demri","fervari","mansutti"],"title":"Axiomatising Logics with Separating Conjunction and Modalities","year":2019,"dataSources":["MSnnygamX7qXNxsq6","HJM7dqFRHjcZZmjge","KKtjZs868TWfeLxN2"]}