Dynamic Order-Sorted Term-Rewriting Systems

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

Full text available as:
[thumbnail of 10992114.pdf] PDF
Download (7MB)


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

Actions (login required)

View Item View Item


Downloads per month over past year