Back to the list of the institutes
Publications
Conference: International Colloquium on Theoretical Aspects of Computing
Number of publications: 22024
- Safa Zouari, Krzysztof Ziemiański , Uli Fahrenberg, Bisimulations and Logics for Higher-Dimensional Automata, 21st International Colloquium on Theoretical Aspects of Computing, Bangkok, Thailand, 25 November 2024 - 29 November 2024. See in PBN
2023
- Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemiański , Closure and Decision Properties for Higher-Dimensional Automata, 20th International Colloquium on Theoretical Aspects of Computing, Lima, Peru, 4 December 2023 - 8 December 2023. See in PBN