TY  - RPRT
TI  - Computational Complexity of Deciding Provability in Linear Logic and its Fragments
AU  - Florian Chudigiewitsch
PY  - 2021
UR  - https://arxiv.org/abs/2110.00562
ID  - 2110.00562
ER  -