TY - RPRT TI - Labeled homology of higher-dimensional automata AU - Thomas Kahl PY - 2018 UR - https://arxiv.org/abs/1703.07826 ID - 1703.07826 ER -