A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
Nguyên, Lê Thành Dũng ; Straßburger, Lutz
Logical methods in computer science, 2023-12, Vol.19, Issue 4 (4)
[Periódico revisado por pares]
Logical Methods in Computer Science Association
Texto completo disponível