Higher-Order Horn Clauses

Gopalan Nadathur, Dale Miller

Research output: Contribution to journalArticlepeer-review

59 Scopus citations

Fingerprint

Dive into the research topics of 'Higher-Order Horn Clauses'. Together they form a unique fingerprint.

Engineering & Materials Science