Efficient and Natural Proof Systems

Guglielmi, Alessio (PI)
Bruscoli, Paola (CoI)
McCusker, Guy (CoI)

Project: Research council

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

4 results

Filter

2022
A Subatomic Proof System for Decision Trees
Barrett, C. & Guglielmi, A., 31 Oct 2022, In: ACM Transactions on Computational Logic. 23, 4, p. 1-25 26.
Research output: Contribution to journal › Article › peer-review

Open Access
File
1 Citation (SciVal)

57 Downloads (Pure)
2020
Herbrand Proofs and Expansion Proofs as Decomposed Proofs
Ralph, B., 31 Dec 2020, In: Journal of Logic and Computation. 30, 8, p. 1711–1742 32 p., exaa052.
Research output: Contribution to journal › Article › peer-review

Open Access
1 Citation (SciVal)
2018
Subatomic Proof Systems: Splittable Systems
Aler Tubella, A. & Guglielmi, A., 28 Feb 2018, In: ACM Transactions on Computational Logic. 19, 1, p. 1-33 33 p., 5.
Research output: Contribution to journal › Article › peer-review

Open Access
File
7 Citations (SciVal)

109 Downloads (Pure)
2016
Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae
Guglielmi, A., Bruscoli, P., Gundersen, T. & Parigot, M., 31 Dec 2016, In: Logical Methods in Computer Science. 12, 2, p. 1-30 30 p., 5.
Research output: Contribution to journal › Article › peer-review

Open Access
5 Citations (SciVal)

80 Downloads (Pure)