Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Ravi Palla

Original record
Institution
Arizona State University
Year
2012
Country
United States
MGP identifier
164320

Dissertation: Bridging the Gap between Classical Logic Based Formalisms and Logic Programs

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy