@misc{indiciae968cf80f8e7d, title = {Myhill-Nerode Theorem for Higher-Dimensional Automata}, author = {Uli Fahrenberg and Krzysztof ZiemiaƄski}, year = {2024}, doi = {10.46298/fi.12761}, url = {https://arxiv.org/abs/2210.08298}, note = {Source identifier: 2210.08298} }