( en | de | ru )

 

Disambiguation of "Subrahmanyam, Ramesh"

Author of the publication

copydeleteadd this publication to your clipboard
Logical and Computational Aspects of Programming with Sets/Bags/Lists.

, and . ICALP, volume 510 of Lecture Notes in Computer Science, page 60-75. Springer, (1991)

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.

Ramesh Ummanni

Ramesh Boggula

Ramesh Sharma

Ramesh Sheth

Ramesh Samanta

 

Other publications of authors with the same name

Equality between Functionals in the Presence of Coproducts, and . LICS, page 282-291. IEEE Computer Society, (1995)On Extending Computational Adequacy by Data Abstraction., and . LISP and Functional Programming, page 161-169. ACM, (1992)Conditions for the completeness of functional and algebraic equational reasoning., and . Math. Struct. Comput. Sci., 9 (6): 651-685 (1999)Algebraic Reasoning and Completeness in Typed Languages., and . POPL, page 185-195. ACM Press, (1993)On Adding Algebraic Theories with Induction to Typed Lambda Calculi., and . AMAST, page 327-340. Springer, (1991)Extensions to Type Systems Can Preserve Operational Equivalences., and . TACS, volume 789 of Lecture Notes in Computer Science, page 76-95. Springer, (1994)Constructive Negation in Definite Constraint Logic Programs., , and . ASIAN, volume 1179 of Lecture Notes in Computer Science, page 335-336. Springer, (1996)Complexity of Algebraic Specification.. FSTTCS, volume 472 of Lecture Notes in Computer Science, page 33-37. Springer, (1990)Logical and Computational Aspects of Programming with Sets/Bags/Lists., and . ICALP, volume 510 of Lecture Notes in Computer Science, page 60-75. Springer, (1991)