Closure and decision properties for higher-dimensional automata
In 20th international colloquium on theoretical aspects of computing (ICTAC’23)
Abstract
In 20th international colloquium on theoretical aspects of computing (ICTAC’23)
Abstract
Copyright (c) 2022, LRE; all rights reserved.
Template by Bootstrapious. Ported to Hugo by DevCows.