Research

Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae


Reference:

Guglielmi, A., Bruscoli, P., Gundersen, T. and Parigot, M., 2016. Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae. Logical Methods in Computer Science, 12 (2), 5.

Related documents:

[img]
Preview
PDF (QuasiPolNormDI) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (389kB) | Preview

    Official URL:

    http://dx.doi.org/10.2168/LMCS-12(2:5)2016

    Related URLs:

    Details

    Item Type Articles
    CreatorsGuglielmi, A., Bruscoli, P., Gundersen, T. and Parigot, M.
    DOI10.2168/LMCS-12(2:5)2016
    Related URLs
    URLURL Type
    http://dx.doi.org/10.2168/LMCS-12(2:5)2016Free Full-text
    DepartmentsFaculty of Science > Computer Science
    RefereedYes
    StatusPublished
    ID Code47981

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...