Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Wojciech Czerwiński
2018
- Wojciech Czerwiński, Piotr Hofman and Georg Zetzsche, Unboundedness Problems for Languages of Vector Addition Systems, in: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, 2018, p. 119:1–119:15.see in PBN
2015
- Wojciech Czerwiński, Wim Martens, Lorijn van Rooijen and Marc Zeitoun, A Note on Decidable Separability by Piecewise Testable Languages, in: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, 2015, p. 173–185.see in PBN
- Wojciech Czerwiński and Petr Jancar, Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME, in: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, IEEE, 2015, p. 168–179.see in PBN
You are not logged in | log in
