First-order linear logic without modalities is NEXPTIME-hard
1994 ◽
Vol 135
(1)
◽
pp. 139-153
◽
2019 ◽
Vol 96
(2)
◽
pp. 179-191
2006 ◽
Vol 360
(1-3)
◽
pp. 42-76
◽
1993 ◽
Vol 2
(1)
◽
pp. 59-83
◽