TY - JOUR T1 - Kleene Theorem for Higher-Dimensional Automata JO - Logical Methods in Computer Science UR - https://doi.org/10.46298/lmcs-20(4:22)2024 PY - 2024/12/10 AU - Fahrenberg U AU - Johansen C AU - Struth G AU - Ziemia艅ski K ED - DO - DOI: 10.46298/lmcs-20(4:22)2024 PB - Centre pour la Communication Scientifique Directe (CCSD) VL - Volume 20, Issue 4 Y2 - 2025/05/19 ER -