Semilinear Separators

Kosaraju, 1982

Summary

S. Rao Kosaraju (1982) Decidability of reachability in vector addition systems STOC '82 267–281 (URL)

BibTeX entry

@INPROCEEDINGS { Kosaraju82,
    AUTHOR = { Kosaraju, S. Rao },
    TITLE = { Decidability of reachability in vector addition systems },
    BOOKTITLE = { STOC '82 },
    YEAR = { 1982 },
    PAGES = { 267--281 },
    LOCATION = { San Francisco, California, USA },
    DOI = { 10.1145/800070.802201 },
}