View in EDS

Limited Second-Order Functionality in a First-Order Setting.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first