Eyal Yardeni (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. Types in Logic Programming 1992: 63-90

5 Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. ICLP 1991: 379-393

3 Thom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni: Logic Programs as Types for Logic Programs LICS 1991: 300-309

2 Eyal Yardeni, Ehud Y. Shapiro: A Type System for Logic Programs. J. Log. Program. 10(1/2/3&4): 125-153 (1991)

1 Shmuel Kliger, Eyal Yardeni, Kenneth M. Kahn, Ehud Y. Shapiro: The Language FCP(: , ?). FGCS 1988: 763-773

Selection of 5 from 7 records - Eyal Yardeni has 7 coauthors

6		Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. Types in Logic Programming 1992: 63-90
5		Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. ICLP 1991: 379-393
3		Thom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni: Logic Programs as Types for Logic Programs LICS 1991: 300-309
2		Eyal Yardeni, Ehud Y. Shapiro: A Type System for Logic Programs. J. Log. Program. 10(1/2/3&4): 125-153 (1991)
1		Shmuel Kliger, Eyal Yardeni, Kenneth M. Kahn, Ehud Y. Shapiro: The Language FCP(: , ?). FGCS 1988: 763-773