Natarajan Shankar (shankar-n)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Lincoln, P. D. and Shankar, Natarajan. 1994. “Proof Search in First-order Linear Logic and Other Cut-free Sequent Calculi.”
Shankar, Natarajan and McAllester, David Allen. 1993. “ONTIC: A Knowledge Representation System for Mathematics.” Artificial Intelligence 62(2): 355–362.