Fingerprint
Dive into the research topics of 'New uses of linear arithmetic in automated theorem proving by induction'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
New uses of linear arithmetic in automated theorem proving by induction
Deepak Kapur, M. Subramaniam
Research output: Contribution to journal › Article › peer-review
21
Scopus
citations