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
- Last Name(descending)

Alessio Guglielmi
- A.Guglielmibath.acuk
- Department of Computer Science - Reader
- Mathematical Foundations of Computation
Person: Research & Teaching