Publications

Showing 1991
4.
Ehud Shapiro 1991. EMBEDDINGS AMONG CONCURRENT PROGRAMMING-LANGUAGES Lecture Notes in Computer Science. 1991 , 506 :58-58.
3.
Ehud Shapiro 1991. EMBEDDINGS AMONG CONCURRENT PROGRAMMING-LANGUAGES Parle 91 : Parallel Architectures And Languages Europe, Vol 2: Parallel Languages. 1991 , 506 :58-58.
2.
Eliane Hadas Yardeni; Ehud Shapiro 1991. A TYPE SYSTEM FOR LOGIC PROGRAMS Journal of Logic Programming. 1991 Feb , 10 (2):125-153.
1.
T Fruhwirth, E Shapiro, MY Vardi, E Yardeni 1991. Logic programs as types for logic programs, Logic in Computer Science, 1991. LICS'91., Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science. 1991 , .