Fingerprint
Dive into the research topics of 'When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
Zachary Kincaid, Nicolas Koh, Shaowei Zhu
Research output: Contribution to journal › Article › peer-review
8
Scopus
citations