Research

Removing Cycles from Proofs


Reference:

Aler Tubella, A., Guglielmi, A. and Ralph, B., 2017. Removing Cycles from Proofs. In: 26th EACSL Annual Conference on Computer Science Logic 2017, 2017-08-20.

Related documents:

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

    Details

    Item Type Conference or Workshop Items (Paper)
    CreatorsAler Tubella, A., Guglielmi, A. and Ralph, B.
    DepartmentsFaculty of Science > Computer Science
    RefereedYes
    StatusPublished
    ID Code56088

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...