Skip navigation
Skip navigation

Browsing by Author Dawson, Jeremy

Or enter first few letters:  
Showing results 19 to 20 of 20
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