Extending Rackoff's EXPSPACE Technique

Demri, 2010

Summary

S. Demri (2010) On Selective Unboundedness of VASS INFINITY 2010 Y-F. Chen and A. Rezine 1–15 (URL)

BibTeX entry

@INPROCEEDINGS { Demri10,
    AUTHOR = { S. Demri },
    TITLE = { On {S}elective {U}nboundedness of {VASS} },
    BOOKTITLE = { {INFINITY} 2010 },
    PAGES = { 1--15 },
    YEAR = { 2010 },
    EDITOR = { Y-F. Chen and A. Rezine },
    VOLUME = { 39 },
    SERIES = { },
    DOI = { 10.4204/EPTCS.39.1 },
}