Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Björn Lellmann

Original record
Institution
Imperial College London
Year
2013
Country
United Kingdom
MGP identifier
196321

Dissertation: Sequent Calculi with Context Restrictions and Applications to Conditional Logic

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy