Blar i Fakultet for informasjonsteknologi og elektroteknikk (IE) på tidsskrift "Mathematical Structures in Computer Science"
Viser treff 1-1 av 1
-
Languages of higher-dimensional automata
(Journal article; Peer reviewed, 2021)We introduce languages of higher-dimensional automata (HDAs) and develop some of their properties. To this end, we define a new category of precubical sets, uniquely naturally isomorphic to the standard one, and introduce ...