Limited Second-Order Functionality in a First-Order Setting.
Saved in:
| Title: | Limited Second-Order Functionality in a First-Order Setting. |
|---|---|
| Authors: | Kaufmann, Matt1, Moore, J Strother1, moore@cs.utexas.edu |
| Source: | Journal of Automated Reasoning; Mar2020, Vol. 64 Issue 3, p391-422, 32p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01687433 |
|---|---|
| DOI: | 10.1007/s10817-018-09505-9 |
