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 treatment of higher-order features in logic programming
Gopalan Nadathur
Computer Science and Engineering
Research output
:
Contribution to journal
›
Article
›
peer-review
5
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A treatment of higher-order features in logic programming'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Logic Programming
100%
Unification
89%
Higher Order
59%
Prolog
37%
Term
29%
Encoding
27%
Branching
26%
Determinism
18%
Compilation
18%
Typed lambda Calculus
17%
Paradigm
13%
Notation
13%
Substitution
13%
Programming
12%
Character
10%
Language
10%
First-order
9%
Context
8%
Form
5%
Model
4%
Engineering & Materials Science
Logic programming
97%
Substitution reactions
27%