Efficient and Natural Proof Systems

Project: Research council

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

Search results

  • 2017

    Removing Cycles from Proofs

    Aler Tubella, A., Guglielmi, A. & Ralph, B., 20 Aug 2017.

    Research output: Contribution to conference › Paper › peer-review

    File
    6 Citations (SciVal)
    76 Downloads (Pure)