Weak equivalence of higher-dimensional automata

Discrete Mathematics and Theoretical Computer Science

Journal Article

Publication

Year of publication: 2021

Identifiers

Other: 1910.12787v3

Locators

Alternative Titles