Concepedia

Gopalan Nadathur

GN

26

Publications

1.5K

Citations

19

H-Index

1983

Active since

Affiliations

Duke University(Current)

University of Minnesota

University of Pennsylvania

University of Chicago

Institut national de recherche en sciences et technologies du numérique

Gopalan Nadathur is an author at Duke University specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsFormal VerificationComputer ScienceLanguageSemanticsLinguisticsLogic ProgrammingVerification

Publications per year

1983–2015

26

Publications

26

Uniform proofs as a foundation for logic programming

Dale Miller, Gopalan Nadathur, Frank Pfenning et al. · Annals of Pure and Applied Logic · 1991 · 570 citations

A Logic Programming Approach to Manipulating Formulas and Programs

Dale Miller, Gopalan Nadathur · 1987 · 112 citations

Higher-order Horn clauses

Gopalan Nadathur, Dale Miller · Journal of the ACM · 1990 · 74 citations · Full text

Engineering, Higher-order Logic, Logic Programming +18

Abella: A System for Reasoning about Relational Specifications

David Baelde, Kaustuv Chaudhuri, Andrew Gacek et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2015 · 65 citations · Full text

Intuitionistic Logic, Relational Specifications, Engineering +21

Some uses of higher-order logic in computational linguistics

Dale Miller, Gopalan Nadathur · 1986 · 59 citations · Full text

Engineering, Sentence Semantics, Well-founded Semantics +18

Rows per page

1–5 of 26