Datasets
- 1 results
Search results
-
Superposition for Lambda-Free Higher-Order Logic — Supplementary Material
Bentkamp, A. (Contributor), Cruanes, S. (Contributor), Blanchette, J. C. (Contributor) & Waldmann, U. (Contributor), Unknown Publisher, 30 Jun 2018
DOI: 10.5281/zenodo.3975512, https://zenodo.org/record/3975512
Dataset