Efficient and Natural Proof Systems

Project: Research council

Filter
Chapter

Search results

  • 2015

    Deep Inference

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    67 Downloads (Pure)