New Pumping Technique for 2-Dimensional VASS

Czerwinski, Wojciech; Lasota, Slawomir; Löding, Christof; Piórkowski, Radoslaw

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany (2019) [Contribution to a book, Contribution to a conference proceedings]

[44th International Symposium on Mathematical Foundations of Computer Science]
Page(s): 14 pages

Identifier