Algorithmic Theory of WQOs

Schmitz, 2014

Summary

Sylvain Schmitz (2014) Implicational Relevance Logic is 2-EXPTIME-Complete Research Report arXiv:1402.0705 [cs.LO]Computing Research Repository (URL)

BibTeX entry

@TECHREPORT { Schmitz14,
    AUTHOR = { Sylvain Schmitz },
    TITLE = { Implicational Relevance Logic is 2-{EXPTIME}-Complete },
    NUMBER = { arXiv:1402.0705 [cs.LO] },
    URL = { http://arxiv.org/abs/1402.0705 },
    YEAR = { 2014 },
    MONTH = { },
    INSTITUTION = { Computing Research Repository },
    TYPE = { Research Report },
}