Loading...
Please wait, while we are loading the content...
Similar Documents
The covering and boundedness problems for branching vector addition systems
| Content Provider | Hyper Articles en Ligne (HAL) |
|---|---|
| Author | Demri, Stéphane Jurdziński, Marcin Lachish, Oded Lazić, Ranko |
| Copyright Year | 2009 |
| Related Links | https://hal.science/hal-03201404/file/djll-fsttcs09.pdf |
| Conference Proceedings | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science |
| Language | English |
| Publisher | HAL CCSD |
| Publisher Date | 2009-01-01 |
| Access Restriction | Open |
| Subject Keyword | complexity branching vector addition system covering problem boundedness problem 2EXPTIME |
| Content Type | Text |
| Resource Type | Conference Proceedings |
| Subject | Computer Science |