Follow
Gopalan Nadathur
Gopalan Nadathur
Professor of Computer Science and Engineering, University of Minnesota
Verified email at cs.umn.edu
Title
Cited by
Cited by
Year
Uniform proofs as a foundation for logic programming
D Miller, G Nadathur, F Pfenning, A Scedrov
Annals of Pure and Applied logic 51 (1-2), 125-157, 1991
9061991
An overview of λProlog
D Miller, G Nadathur
Proc. of the 5th Int. Conf. on Logic Programming, 1988
635*1988
Higher-order logic programming
DA Miller, G Nadathur
International Conference on Logic Programming, 448-462, 1986
2601986
Programming with higher-order logic
D Miller, G Nadathur
Cambridge University Press, 2012
2352012
A logic programming approach to manipulating formulas and programs
D Miller, G Nadathur
University of Pennsylvania. Moore School of Electrical Engineering …, 1987
1651987
Higher-order unification and matching
G Dowek
Handbook of automated reasoning, 1009-1062, 2001
1562001
Higher-order logic programming
G Nadathur, D Miller
Handbook of logic in artificial intelligence and logic programming 5, 499-590, 1998
1491998
Higher-order Horn clauses
G Nadathur, D Miller
Journal of the ACM (JACM) 37 (4), 777-814, 1990
1391990
Abella: A system for reasoning about relational specifications
D Baelde, K Chaudhuri, A Gacek, D Miller, G Nadathur, A Tiu, Y Wang
Journal of formalized reasoning 7 (2), 1-89, 2014
1112014
System description: Teyjus—A compiler and abstract machine based implementation of λProlog
H Ganzinger, G Nadathur, DJ Mitchell
Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999
1081999
A higher-order logic as the basis for logic programming
G Nadathur
University of Pennsylvania, 1987
1041987
The Bedwyr system for model checking over syntactic expressions
D Baelde, A Gacek, D Miller, G Nadathur, A Tiu
Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007
932007
Some uses of higher-order logic in computational linguistics
DA Miller, G Nadathur
24th Annual Meeting of the Association for Computational Linguistics, 247-256, 1986
911986
HEREDITARY HARROP FORMULAS AND UNIFORM PROOF SYSTEMS.
D Miller, G Nadathur, A Scedrov
Unknown Host Publication Title, 98-105, 1987
851987
A notation for lambda terms a generalization of environments
G Nadathur, DS Wilson
Theoretical Computer Science 198 (1-2), 49-98, 1998
76*1998
A fine-grained notation for lambda terms and its use in intensional operations
G Nadathur
Journal of Functional and Logic Programming 2, 1999, 1999
70*1999
A proof procedure for the logic of hereditary Harrop formulas
G Nadathur
Journal of Automated Reasoning 11, 115-145, 1993
681993
A two-level logic approach to reasoning about computations
A Gacek, D Miller, G Nadathur
Journal of Automated Reasoning 49 (2), 241-273, 2012
672012
Combining generic judgments with recursive definitions
A Gacek, D Miller, G Nadathur
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 33-44, 2008
672008
Nominal abstraction
A Gacek, D Miller, G Nadathur
Information and Computation 209 (1), 48-73, 2011
652011
The system can't perform the operation now. Try again later.
Articles 1–20