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  - 2024/12/25

ER  -