Extending Rackoff's EXPSPACE Technique

Rackoff, 1978

Summary

Charles Rackoff (1978) The covering and boundedness problems for vector addition systems (URL)

BibTeX entry

@ARTICLE { Rackoff78,
    TITLE = { The covering and boundedness problems for vector addition systems },
    AUTHOR = { Charles Rackoff },
    JOURNAL = { },
    VOLUME = { 6 },
    NUMBER = { 2 },
    YEAR = { 1978 },
    PAGES = { 223--231 },
    DOI = { 10.1016/0304-3975(78)90036-1 },
}