Skip navigation
Skip navigation

Termination of abstract reduction systems

Dawson, Jeremy; Gore, Rajeev

Description

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

CollectionsANU Research Publications
Date published: 2007
Type: Conference paper
URI: http://hdl.handle.net/1885/30748
Source: Proceedings of the 13th Computing: The Australasian Theory Symposium (CATS 2007)

Download

File Description SizeFormat Image
01_Dawson_Termination_of_abstract_2007.pdf450.52 kBAdobe PDF    Request a copy
02_Dawson_Termination_of_abstract_2007.pdf483.03 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator