The Library
The covering and boundedness problems for branching vector addition systems
Tools
Demri, Stéphane P., Jurdzinski, Marcin, Lachish, Oded and Lazic, Ranko (2013) The covering and boundedness problems for branching vector addition systems. Journal of Computer and System Sciences, 79 (1). pp. 23-38. doi:10.1016/j.jcss.2012.04.002 ISSN 0022-0000.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
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: | Journal Article | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | Journal of Computer and System Sciences | ||||
Publisher: | Academic Press | ||||
ISSN: | 0022-0000 | ||||
Official Date: | February 2013 | ||||
Dates: |
|
||||
Volume: | 79 | ||||
Number: | 1 | ||||
Page Range: | pp. 23-38 | ||||
DOI: | 10.1016/j.jcss.2012.04.002 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |