Amanote Research
Register
Sign In
Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems
doi 10.1145/2603088.2603146
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2014
Authors
Jérôme Leroux
M. Praveen
Grégoire Sutre
Publisher
ACM Press