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.

Thomas Jensen

Original record
Institution
Imperial College London
Year
1993
Country
United Kingdom
MGP identifier
246900

Dissertation: Abstract Interpretation in Logical Form

Mathematics Subject Classification: 94—Information and communication, circuits

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy