BVASS

Lazić and Schmitz, 2014

Summary

Ranko Lazić and Sylvain Schmitz (2014) Non-Elementary Complexities for Branching VASS, MELL, and Extensions Research Report arXiv:1401.6785 [cs.LO]Computing Research Repository (URL)

BibTeX entry

@TECHREPORT { LazicS14,
    AUTHOR = { Ranko Lazi\'c and Sylvain Schmitz },
    TITLE = { Non-Elementary Complexities for Branching {VASS}, {MELL}, and Extensions },
    NUMBER = { arXiv:1401.6785 [cs.LO] },
    URL = { http://arxiv.org/abs/1401.6785 },
    MONTH = { },
    YEAR = { 2014 },
    INSTITUTION = { Computing Research Repository },
    TYPE = { Research Report },
}