The Library
The covering and boundedness problems for branching vector addition systems
Tools
Tools
Tools
Demri, Stéphane P., 1967-, Jurdzinski, Marcin, Lachish, Oded and Lazic, Ranko (2012) The covering and boundedness problems for branching vector addition systems. Journal of Computer and System Sciences . ISSN 0022-0000 (In Press)
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1016/j.jcss.2012.04.002
Abstract
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
| Item Type: | Submitted Journal Article |
|---|---|
| Divisions: | Faculty of Science > Computer Science |
| Journal or Publication Title: | Journal of Computer and System Sciences |
| Publisher: | Academic Press |
| ISSN: | 0022-0000 |
| Date: | 2012 |
| Identification Number: | 10.1016/j.jcss.2012.04.002 |
| Status: | Peer Reviewed |
| Publication Status: | In Press |
| Description: | In press, corrected proof |
| URI: | http://wrap.warwick.ac.uk/id/eprint/49015 |
Actions (login required)
 |
View Item |
