Weak equivalence of higher-dimensional automata

Website

Publication

Year of publication: 2019

Identifiers

Other: arXiv:1910.12787

Locators

Alternative Titles