|
СТ |
Correctness of Data Representations Involving Heap Data Structures |
2003 |
Reddy U. S., Yang H. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
ICC++ - A C++ Dialect for High Performance Parallel Computing |
1996 |
Chen A. A., Reddy U. S., Plevyak J., Dolby J. |
|
|
|
Lecture Notes in Computer Science |
27.03.1996 |
|
СТ |
Higher-order Aspacts of Logic Programming |
1994 |
Reddy U. S. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
|
П |
Notions of Polymorphism for Predicate Logic Programs |
1989 |
Reddy U. S. |
|
|
Univ.Illinois |
|
13.01.1995 |
|
СТ |
Typed Prolog: A Semantic Reconstruction of the Mycroft-O Keefe Type System |
1991 |
Lakshman T. K., Reddy U. S. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
СТ |
A Framework of Directionality for Proving Termination of Logic Programs |
1992 |
Bronsard F., Lakshman T. K., Reddy U. S. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Higher-order Aspects of Logic Programming |
1994 |
Reddy U. S. |
|
|
|
Lecture Notes in Artificial Intelligence |
01.07.1994 |
|
СТ |
A Typed Foundation for Directional Logic Programming |
1992 |
Reddy U. S. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
|
СТ |
A Logical View of Assignments |
1992 |
Swarup V., Reddy U. S. |
|
|
|
Lecture Notes in Computer Science |
05.08.1992 |
