Dynamic Order-Sorted Term-Rewriting Systems

Matthews, Brian Martin (1996) Dynamic Order-Sorted Term-Rewriting Systems. PhD thesis, University of Glasgow.

Abstract

This thesis considers the problems of order-sorted equational logic and its operational interpretation, order-sorted term rewriting.

• Item Type: Thesis (PhD)
• Qualification Level: Doctoral
• Additional Information: Adviser: Muffy Thomas
• Keywords: Computer science
• Date of Award: 1996
• Depositing User: Enlighten Team
• Unique ID: glathesis:1996-74495
• Copyright: Copyright of this thesis is held by the author.
• Date Deposited: 27 Sep 2019 18:05
• Last Modified: 27 Sep 2019 18:05
• URI: https://theses.gla.ac.uk/id/eprint/74495