%0 Journal Article %1 journals/logcom/DemriFM21 %A Demri, Stéphane %A Fervari, Raul %A Mansutti, Alessio %D 2021 %J J. Log. Comput. %K dblp %N 3 %P 832-891 %T Internal proof calculi for modal logics with separating conjunction. %U http://dblp.uni-trier.de/db/journals/logcom/logcom31.html#DemriFM21 %V 31

@article{journals/logcom/DemriFM21, added-at = {2021-10-14T00:00:00.000+0200}, author = {Demri, Stéphane and Fervari, Raul and Mansutti, Alessio}, biburl = {https://www.bibsonomy.org/bibtex/2f679e49229ed4eb50498a8a5cfa337d3/dblp}, ee = {https://doi.org/10.1093/logcom/exab016}, interhash = {2b1c31ad65ca5338d97c024a67c2029d}, intrahash = {f679e49229ed4eb50498a8a5cfa337d3}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 3, pages = {832-891}, timestamp = {2024-04-09T05:12:26.000+0200}, title = {Internal proof calculi for modal logics with separating conjunction.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom31.html#DemriFM21}, volume = 31, year = 2021 }