Efficient and Natural Proof Systems

Project: Research council

  • 5 Chapter in a published conference proceeding
  • 4 Article
  • 1 Chapter or section
  • 1 Paper
Filter
Chapter or section

Search results

  • 2015

    Deep Inference

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

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    118 Downloads (Pure)