Sharing and Sequentiality in Proof Systems with Locality

Project: Research council

StatusFinished
Effective start/end date29/03/1230/06/14

Funding

  • The Royal Society