Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Alessio Guglielmi

Original record
Institution
Università di Pisa
Year
1996
Country
Italy
MGP identifier
288932

Dissertation: Abstract Logic Programming in Linear Logic Independence and Causality in a First Order Calculus

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 9

NameInstitutionYearStudents
Andrea Aler TubellaUniversity of Bath20170
Victoria BarrettUniversity of Bath20240
Kai BrünnlerTechnische Universität Dresden20030
Anupam DasUniversity of Bath20130
Tom GundersenUniversity of Bath20090
Ozan KahramanoğullarıTechnische Universität Dresden20060
Benjamin RalphUniversity of Bath20190
Alessio SantamariaUniversity of Bath20190
Lutz StraßburgerNot recorded—1
Genealogy