%0 Journal Article %1 journals/iandc/MendlerS11 %A Mendler, Michael %A Scheele, Stephan %D 2011 %J Inf. Comput. %K %N 12 %P 1465-1490 %T Cut-free Gentzen calculus for multimodal CK. %U http://dblp.uni-trier.de/db/journals/iandc/iandc209.html#MendlerS11 %V 209

@article{journals/iandc/MendlerS11, added-at = {2023-12-14T16:07:28.000+0100}, author = {Mendler, Michael and Scheele, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/29c62c266307b74fbd6fc9adf161cf435/admin}, ee = {http://dx.doi.org/10.1016/j.ic.2011.10.003}, interhash = {f3d9917db90f20ee2852ec51620ea28c}, intrahash = {9c62c266307b74fbd6fc9adf161cf435}, journal = {Inf. Comput.}, keywords = {}, number = 12, pages = {1465-1490}, timestamp = {2023-12-14T16:07:28.000+0100}, title = {Cut-free Gentzen calculus for multimodal CK.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc209.html#MendlerS11}, volume = 209, year = 2011 }