Hyper-Ackermannian Bounds for Pushdown Vector...
URL: https://hal.science/hal-00989109
Dataset description:
Full version of the paper published in the proceedings of CSL-LICS 2014. 14 pages.
Source: Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 5, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | b1a7f653-5c21-4db1-9e03-7fc8706f4384 |
| Package id | oai-hal-hal-00989109v1 |
| Resource type | HTML |
| State | active |