On symmetric higher-dimensional automata and bisimilarity.

Published in: Theor. Comput. Sci. (2022)

Keyphrases

higher dimensional
euclidean space
arbitrary dimension
lower dimensional
finite dimensional
high dimensional
distance transform
low dimensional
continuous relaxation
finite state
wavelet packet
database systems