Research

Deep Inference


Reference:

Guglielmi, A., 2015. Deep Inference. In: All About Proofs, Proofs for All. College Publications. (Mathematical Logic and Foundations)

Related documents:

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

    Official URL:

    http://cs.bath.ac.uk/ag/p/DI.pdf

    Details

    Item Type Book Sections
    CreatorsGuglielmi, A.
    DepartmentsFaculty of Science > Computer Science
    StatusPublished
    ID Code42130

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...