Matthews, Brian Martin
(1996)
Dynamic Order-Sorted Term-Rewriting Systems.
PhD thesis, University of Glasgow.
Full text available as:
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: |
http://theses.gla.ac.uk/id/eprint/74495 |
Actions (login required)
 |
View Item |
Download Statistics
Download Statistics