Algorithmic Theory of WQOs

Haase, 2014

Summary

Christoph Haase (2014) Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy Research Report arXiv:1401.5266 [cs.LO]Computing Research Repository (URL)

BibTeX entry

@TECHREPORT { Haase14,
    AUTHOR = { Christoph Haase },
    TITLE = { Subclasses of Presburger Arithmetic and the Weak {EXP} Hierarchy },
    NUMBER = { arXiv:1401.5266 [cs.LO] },
    URL = { http://arxiv.org/abs/1401.5266 },
    YEAR = { 2014 },
    MONTH = { },
    INSTITUTION = { Computing Research Repository },
    TYPE = { Research Report },
}