Skip to main navigation
Skip to search
Skip to main content
Experts@Minnesota Home
Home
Profiles
Research units
University Assets
Projects and Grants
Research output
Press/Media
Datasets
Activities
Fellowships, Honors, and Prizes
Search by expertise, name or affiliation
Higher-Order Horn Clauses
Gopalan Nadathur
, Dale Miller
Computer Science and Engineering
Research output
:
Contribution to journal
›
Article
›
peer-review
64
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Higher-Order Horn Clauses'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Logic programming
100%
Substitution reactions
83%
Theorem proving
56%
Computer programming languages
38%