Subatomic Proof Systems: Splittable Systems

Andrea Aler Tubella, Alessio Guglielmi

Research output: Contribution to journal › Article › peer-review

5 Citations (SciVal)

77 Downloads (Pure)

1 results

Filter

Finished
Efficient and Natural Proof Systems
Guglielmi, A., Bruscoli, P. & McCusker, G.
Engineering and Physical Sciences Research Council
1/02/13 → 12/05/16
Project: Research council