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) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Identifikationsnummern