Gopalan Nadathur

Gopalan Nadathur

University of Minnesota Twin Cities - Minneapolis / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4679842
person_outline Gopalan Nadathur's MOST POPULAR ARTICLES
1-) Uniform proofs as a foundation for logic programming Annals of Pure and Applied logic 51 (1-2), 125-157, 1991
2-) An overview of λProlog Proc. of the 5th Int. Conf. on Logic Programming, 1988
3-) Higher-order logic programming International Conference on Logic Programming, 448-462, 1986
4-) Programming with higher-order logic Cambridge University Press, 2012
5-) A logic programming approach to manipulating formulas and programs University of Pennsylvania. Moore School of Electrical Engineering …, 1987