Showing 1 - 4 results of 4 for search 'Wojciech Czerwiński', query time: 0.02s
Refine Results
-
1
Regular Separability of One Counter Automata by Wojciech Czerwiński, Sławomir Lasota
Published 2019-06-01
Article -
2
Reachability Problem for Weak Multi-Pushdown Automata by Wojciech Czerwiński, Piotr Hofman, SŁawomir Lasota
Published 2013-09-01
Article -
3
Shortest paths in one-counter systems by Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Michał Pilipczuk, Michael Wehar
Published 2019-03-01
Article -
4
A Characterization for Decidable Separability by Piecewise Testable Languages by Wojciech Czerwiński, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, Georg Zetzsche
Published 2017-12-01
Article