Combinatorics of labelling in higher-dimensional automata.

Philippe Gaucher
Published in: Theor. Comput. Sci. (2010)
Keyphrases