Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Egor Kostylev

Original record
Institution
Lomonosov Moscow State University
Year
2008
Country
Russia
MGP identifier
186522

Dissertation: Unification algorithms and their application to the computation of program invariants

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy