N-sorted logic for automatic theorem-proving in higher-order logic

Lawrence Joseph Henschen*

*Corresponding author for this work

Research output: Contribution to conferencePaperpeer-review

6 Scopus citations

Fingerprint

Dive into the research topics of 'N-sorted logic for automatic theorem-proving in higher-order logic'. Together they form a unique fingerprint.

Engineering & Materials Science