Gopalan Nadathur (nadathur)

Contributions to Philosophie.ch

Bibliography

Loveland, Donald W. and Nadathur, Gopalan. 1998. “Proof Procedures for Logic Programming.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 163–234. Oxford: Oxford University Press.
Miller, Dale E., Nadathur, Gopalan, Pfenning, Frank and Ščedrov, Andrej. 1991. “Uniform Proofs as a Foundation for Logic Programming.” Annals of Pure and Applied Logic 51: 125–157.
Nadathur, Gopalan and Miller, Dale E. 1998. “Higher-Order Logic Programming.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 499–590. Oxford: Oxford University Press.