A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

Lê Thành Dung Nguyên, Lutz Straßburger. A System of Interaction and Structure III: The Complexity of BV and Pomset Logic. Logical Methods in Computer Science, 19(4), 2023. [doi]

Abstract

Abstract is missing.