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/04/17

ER  -