Author of the publication

A Distributed Platform for Sanskrit Processing.

, , , , and . COLING, page 1011-1028. Indian Institute of Technology Bombay, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction., and . J. Symb. Comput., 1 (3): 323-328 (1985)Residual Theory in lambda-Calculus: A Formal Development.. J. Funct. Program., 4 (3): 371-394 (1994)A Unification Algorithm for Typed lambda-Calculus.. Theor. Comput. Sci., 1 (1): 27-57 (1975)The Calculus of Constructions, and . Inf. Comput., 76 (2/3): 95-120 (February 1988)Induction Principles Formalized in the Calculus of Constructions.. TAPSOFT, Vol.1, volume 249 of Lecture Notes in Computer Science, page 276-286. Springer, (1987)Complete Sets of Unifiers and Matchers in Equational Theories., and . CAAP, volume 159 of Lecture Notes in Computer Science, page 205-220. Springer, (1983)A Distributed Platform for Sanskrit Processing., , , , and . COLING, page 1011-1028. Indian Institute of Technology Bombay, (2012)Constructions: A Higher Order Proof System for Mechanizing Mathematics., and . European Conference on Computer Algebra (1), volume 203 of Lecture Notes in Computer Science, page 151-184. Springer, (1985)Proofs by Induction in Equational Theories with Constructors., and . J. Comput. Syst. Sci., 25 (2): 239-266 (1982)An Algorithm to Generate the Basis of Solutions to Homogeneous Linear Diophantine Equations.. Inf. Process. Lett., 7 (3): 144-147 (1978)