You are not logged in |
Back to the list of the institutes
Publications
Henry Sinclair-Banks
Number of publications: 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 October 2024 - 30 October 2024. See in PBN
