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.

Richard K. Min

Original record
Institution
University of Texas at Dallas
Year
2009
Country
United States
MGP identifier
149095

Dissertation: Predicate Answer Set Programming with Coinduction

Mathematics Subject Classification: 68—Computer science

Advisor 1

  • Gopal GuptaThe University of North Carolina at Chapel Hill · 1991

Students 0

No students recorded in this snapshot.

Genealogy