Login / Signup

Strictifying and taming directed paths in Higher Dimensional Automata.

Martin Raussen
Published in: Math. Struct. Comput. Sci. (2021)
Keyphrases