Powrót do listy instytutów
Publikacje
Henry Sinclair-Banks
Liczba publikacji: 12024
- Dmitry Chistikov, Wojciech Czerwiński , Filip Mazowiecki , Łukasz Orlikowski , Henry Sinclair-Banks , Karol Węgrzycki, The Tractability Border of Reachability in Simple Vector Addition Systems with States, 65th IEEE Symposium on Foundations of Computer Science, Chicago, the United States of America, 27 października 2024 - 30 października 2024. Zobacz w PBN