Searching for authors named "Eyal Yardeni" – sorted by Relevance.
-
Bottom-up abstract interpretation of logic programs
- Bottom-up Abstract Interpretation of Logic Programs \Lambda Michael Codish Dennis Dams Eyal
- Cited by 55 (16 self) – Add To MetaCart
-
Polymorphically Typed Logic Programs
- ECRC/TR/91/LP-61 11 July 1991 Polymorphically Typed Logic Programs Eyal Yardeni, Thom Fruehwirth
- Cited by 24 (2 self) – Add To MetaCart

