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:||International Journal of Foundations of Computer Science|
|01_Dawson_Termination_of_abstract_2009.pdf||196.63 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.