Ph.D. University of Melbourne 1997
Decidability of Termination of Trigger Systems
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Ramamahanarao Kotagiri
Advisor 2: Guozhu Dong
|Dong, Ce||University of Melbourne||2007|
According to our current on-line database, James Bailey has 1 student and 1 descendant.
We welcome any additional information.
If you have additional information or
corrections regarding this mathematician, please use the update form. To submit students of this
mathematician, please use the new
data form, noting this mathematician's MGP ID of 79717 for the advisor ID.