TY - CONF T1 - A Kleene Theorem for Higher-Dimensional Automata JO - Leibniz International Proceedings in Informatics, LIPIcs PY - 2022/09/01 AU - Fahrenberg U AU - Johansen C AU - Struth G AU - Ziemia艅ski K ED - DO - DOI: 10.4230/LIPIcs.CONCUR.2022.29 SN - 9783959772464 VL - 243 Y2 - 2025/05/03 ER -