Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

Publikacje

Wojciech Czerwiński, Piotr Hofman i Georg Zetzsche, Unboundedness Problems for Languages of Vector Addition Systems, w: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, 2018, s. 119:1–119:15.zobacz w PBN

Wojciech Czerwiński, Wim Martens, Lorijn van Rooijen i Marc Zeitoun, A Note on Decidable Separability by Piecewise Testable Languages, w: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, 2015, s. 173–185.zobacz w PBN
Wojciech Czerwiński i Petr Jancar, Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME, w: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, IEEE, 2015, s. 168–179.zobacz w PBN