Proof simplification and automated theorem proving
Crossref DOI link: https://doi.org/10.1098/rsta.2018.0034
Published Online: 2019-01-21
Published Print: 2019-03-11
Update policy: https://doi.org/10.1098/crossmark-policy
Kinyon, Michael https://orcid.org/0000-0002-5227-8632
Funding for this research was provided by:
Simons Foundation Collaboration (359872)
FCT (CEMAT-CIÊNCIAS UID/Multi/04621/2013)
Text and Data Mining valid from 2019-01-21
Publication History
Accepted: 2018-09-11
Published: 2019-01-21
