Eyal Yardeni
From MaRDI portal
Person:1318724
Available identifiers
zbMath Open yardeni.eyalMaRDI QIDQ1318724
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Bottom-up abstract interpretation of logic programs | 1994-04-05 | Paper |
| A type system for logic programs | 1991-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Eyal Yardeni
