Termination of abstract reduction systems
We present a general theorem capturing conditions required for the termination of abstract reduction systems. We show that our theorem generalises another similar general theorem about termination of such systems. We apply our theorem to give interesting
|Collections||ANU Research Publications|
|Source:||Proceedings of the 13th Computing: The Australasian Theory Symposium (CATS 2007)|
|01_Dawson_Termination_of_abstract_2007.pdf||450.52 kB||Adobe PDF||Request a copy|
|02_Dawson_Termination_of_abstract_2007.pdf||483.03 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.