Impure Simplicial Complexes: Complete Axiomatization
Randrianomentsoa, Rojo ; van Ditmarsch, Hans ; Kuznets, Roman
Logical methods in computer science, 2023-10, Vol.19, Issue 4 (4) [Periódico revisado por pares]Logical Methods in Computer Science Association
Texto completo disponível