Seif Haridi

MathSciNet


Ph.D. Kungliga Tekniska Högskolan 1981 Sweden
Dissertation: Logic Programming Based on a Natural Deduction System
Mathematics Subject Classification: 68—Computer science

Advisor 1: Lars-Erik Thorelli

Student:

NameSchoolYearDescendants
Ghodsi, AliKungliga Tekniska Högskolan20061

According to our current on-line database, Seif Haridi has 1 student and 2 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 201410 for the advisor ID.