( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Logical and Computational Aspects of Programming with Sets/Bags/Lists.

, и . ICALP, том 510 из Lecture Notes in Computer Science, стр. 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.

Ramesh Ummanni

Ramesh Sheth

Ramesh Boggula

Ramesh Sharma

Ramesh Samanta

 

Другие публикации лиц с тем же именем

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