%0 Journal Article %1 journals/corr/ArisakaDS15 %A Arisaka, Ryuta %A Das, Anupam %A Straßburger, Lutz %D 2015 %J Logical Methods in Computer Science %K %N 3 %T On Nested Sequents for Constructive Modal Logics. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#ArisakaDS15 %V 11

@article{journals/corr/ArisakaDS15, added-at = {2023-12-13T08:34:28.000+0100}, author = {Arisaka, Ryuta and Das, Anupam and Straßburger, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/28d0ccdad1cbbd4fb33f825edc85e1db4/admin}, ee = {http://arxiv.org/abs/1505.06896}, interhash = {c52334731c25385bab0bce6d28b95c8d}, intrahash = {8d0ccdad1cbbd4fb33f825edc85e1db4}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 3, timestamp = {2023-12-13T08:34:28.000+0100}, title = {On Nested Sequents for Constructive Modal Logics.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#ArisakaDS15}, volume = 11, year = 2015 }