TY  - RPRT
TI  - Bisimulation for Impure Simplicial Complexes
AU  - Marta Bílková
AU  - Hans van Ditmarsch
AU  - Roman Kuznets
AU  - Rojo Randrianomentsoa
PY  - 2024
UR  - https://arxiv.org/abs/2406.16785
ID  - 2406.16785
ER  -