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.

Marian Vittek

Original record
Institution
Université Henri Poincaré Nancy 1
Year
1994
Country
France
MGP identifier
183570

Dissertation: ELAN : Un cadre logique pour le prototypage de langages de programmation avec contraintes

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy