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
A proof procedure for the logic of hereditary Harrop formulas
Gopalan Nadathur
Computer Science and Engineering
Research output
:
Contribution to journal
›
Article
›
peer-review
25
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A proof procedure for the logic of hereditary Harrop formulas'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Logic programming
100%
Labeling
82%
Computer programming languages
77%
Labels
72%
Mathematics
Logic
66%
Unification
30%
Intuitionistic Logic
16%
Existential quantifier
10%
Higher-order Logic
9%
Proof Search
9%
Prolog
9%
Form
8%
Logic Programming
8%
Programming Languages
7%
Quantifiers
7%
Correctness
7%
Labeling
6%
Nonexistence
6%
Requirements
5%
First-order
4%
Observation
4%
Context
4%
Theorem
2%
Class
2%