Skip navigation
Skip navigation
New Open Research Repository launching soon. This site will be offline from 5 to 9pm, Monday 20 May, while the new site goes live!

Browsing by Author Dawson, Jeremy

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 18 to 19 of 19
01_Dawson_Termination_of_abstract_2009.pdf.jpg

Termination of abstract reduction systems

Author(s)Dawson, Jeremy; Gore, Rajeev
TypeJournal article
Date Published2009
Date Created-

Termination of abstract reduction systems

Author(s)Dawson, Jeremy; Gore, Rajeev
TypeConference paper
Date Published2007
Date CreatedJanuary 30-February 2 2007

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator