Dear Spiral User, we appreciate your patience during this upgrade which is to benefit our userbase, improve their experience in Spiral, introduce improvements, fixes and maintaining our versioning for future updates. Please note if you encounter any issues in Spiral, please raise a ticket to Research Applications team providing as much detail as possible in order to help us resolve your query. Again, we thank you for your patience and support during the upgrade. Kind Regards, Spiral Upgrade Team.
 
Order-sorted equational reasoning and rewrite systems
File(s)
Author(s)
Dick, Alan Jeremy Jeffcoat
Type
Thesis or dissertation
Version
Imperial Users only
Date Issued
1988
Date Awarded
1988
URI
Creator
Dick, Alan Jeremy Jeffcoat
Publisher Department
Department of Computing
Publisher Institution
Imperial College London
Qualification Level
Doctoral
Qualification Name
PhD