TY  - RPRT
TI  - A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
AU  - Lê Thành Dũng Nguyên
AU  - Lutz Straßburger
PY  - 2023
DO  - 10.46298/lmcs-19(4:25)2023
UR  - https://arxiv.org/abs/2209.07825
ID  - 2209.07825
ER  -