TY  - RPRT
TI  - Closure and Decision Properties for Higher-Dimensional Automata
AU  - Amazigh Amrane
AU  - Hugo Bazille
AU  - Uli Fahrenberg
AU  - Krzysztof Ziemiański
PY  - 2024
UR  - https://arxiv.org/abs/2305.02873
ID  - 2305.02873
ER  -