Publikacje

Conference: International Colloquium on Theoretical Aspects of Computing

2024

• 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 listopada 2024 - 29 listopada 2024. Zobacz w 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 grudnia 2023 - 8 grudnia 2023. Zobacz w PBN