Nie jesteś zalogowany |
Powrót do listy instytutów
Publikacje
Konferencja: International Colloquium on Theoretical Aspects of Computing
Liczba publikacji: 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 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
