TY - RPRT TI - Impure Simplicial Complexes: Complete Axiomatization AU - Rojo Randrianomentsoa AU - Hans van Ditmarsch AU - Roman Kuznets PY - 2023 DO - 10.46298/lmcs-19(4:3)2023 UR - https://arxiv.org/abs/2211.13543 ID - 2211.13543 ER -