External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

New Pumping Technique for 2-Dimensional VASS

Wojciech Czerwinski, Slawomir Lasota, Christof Löding, Radoslaw Piórkowski. New Pumping Technique for 2-Dimensional VASS. In Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen, editors, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany. Volume 138 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Authors

Wojciech Czerwinski

This author has not been identified. Look up 'Wojciech Czerwinski' in Google

Slawomir Lasota

This author has not been identified. Look up 'Slawomir Lasota' in Google

Christof Löding

This author has not been identified. Look up 'Christof Löding' in Google

Radoslaw Piórkowski

This author has not been identified. Look up 'Radoslaw Piórkowski' in Google
runs on