| 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: | |||||||