Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

José Iborra

Original record
Institution
Universitat Politècnica de València
Year
2010
Country
Spain
MGP identifier
148276

Dissertation: Termination of Narrowing: Automated Proofs and Modularity Properties

Advisors 2

Students 0

No students recorded in this snapshot.

Genealogy