Supplementary material from "Prolegomena to any theory of proof simplicity"

Victor Pambuccian (Creator)

Dataset

1 Article

1 results

Filter

2019
Prolegomena to any theory of proof simplicity
Pambuccian, V., Mar 11 2019, In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 377, 2140, Y.
Research output: Contribution to journal › Article › peer-review
5 Scopus citations