Graph Representations for Higher-Order Logic and Theorem Proving
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
The abstract is not reproduced here because its license does not permit redistribution. Read it at the original source.
Record
- Archive ID
- doi:10.1609/aaai.v34i03.5689
- Published
- Apr 3, 2020
- Venue
- AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI))
- DOI
- 10.1609/aaai.v34i03.5689
- Categories
- Logic, programming, and type systems
- Provenance
- openalex