From deduction graphs to proof nets: boxes and sharing in the graphical presentation of deductions

J.H. Geuvers, I. Loeb

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'From deduction graphs to proof nets: boxes and sharing in the graphical presentation of deductions'. Together they form a unique fingerprint.

    Mathematics

    Computer Science