Samir Genaim
Original record- Institution
- Ben-Gurion University of the Negev
- Year
- 2003
- Country
- Israel
- MGP identifier
- 185522
Dissertation: Semantic Based WorkBench For Termination Analysis of Logic Programs
Advisor 1
- Michael CodishWeizmann Institute of Science · 1991
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Diego Esteban Alonso Blas | Universidad Complutense de Madrid | 2014 | 0 |
| Md. Abu Naser Masud | Universidad Politécnica de Madrid | 2012 | 0 |