Use this URL to cite or link to this record in EThOS: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337505 |
![]() |
|||||||
Title: | Dynamic order-sorted term-rewriting systems | ||||||
Author: | Matthews, Brian Martin |
ISNI:
0000 0001 0771 950X
|
|||||
Awarding Body: | University of Glasgow | ||||||
Current Institution: | University of Glasgow | ||||||
Date of Award: | 1996 | ||||||
Availability of Full Text: |
|
||||||
Abstract: | |||||||
This thesis considers the problems of order-sorted equational logic and its operational interpretation, order-sorted term rewriting.
|
|||||||
Supervisor: | Not available | Sponsor: | Not available | ||||
Qualification Name: | Thesis (Ph.D.) | Qualification Level: | Doctoral | ||||
EThOS ID: | uk.bl.ethos.337505 | DOI: | Not available | ||||
Keywords: | Rewriting proofs | ||||||
Share: |