Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa. Bisimulation for Impure Simplicial Complexes. In Agata Ciabattoni, David Gabelaia, Igor Sedlár, editors, Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024. pages 225-248, College Publications, 2024.
Abstract is missing.