Efficient and Natural Proof Systems

Research output

Research output per year 2010 2015 2016 2017 2018 2022

• 6 Chapter in a published conference proceeding
• 4 Article
• 1 Book chapter
• 1 Paper

Research output per year

Research output per year

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

  7   Link opens in a new tab Citations (SciVal)

  134 Downloads (Pure)