Closure and Decision Properties for Higher-Dimensional Automata

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski. Closure and Decision Properties for Higher-Dimensional Automata. In Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa, editors, Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings. Volume 14446 of Lecture Notes in Computer Science, pages 295-312, Springer, 2023. [doi]

Authors

Amazigh Amrane

This author has not been identified. Look up 'Amazigh Amrane' in Google

Hugo Bazille

This author has not been identified. Look up 'Hugo Bazille' in Google

Uli Fahrenberg

This author has not been identified. Look up 'Uli Fahrenberg' in Google

Krzysztof Ziemianski

This author has not been identified. Look up 'Krzysztof Ziemianski' in Google