Impure Simplicial Complexes: Complete Axiomatization

Rojo Fanamperana Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets. Impure Simplicial Complexes: Complete Axiomatization. Logical Methods in Computer Science, 19(4), 2023. [doi]

Abstract

Abstract is missing.