@inproceedings{inproceedings, title = {{A Kleene Theorem for Higher-Dimensional Automata}}, url = {{}}, year = {{2022}}, month = {{9}}, author = {{Fahrenberg U and Johansen C and Struth G and Ziemia艅ski K}}, doi = {{10.4230/LIPIcs.CONCUR.2022.29}}, isbn = {{9783959772464}}, volume = {{243}}, journal = {{Leibniz International Proceedings in Informatics, LIPIcs}}, note = {{Accessed on 2025/06/28}}}