Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 2.
Article
Dick, A.J.J. and Watson, Phil (1991) Order-sorted term rewriting. Computer Journal, 34 (1). pp. 16-19. ISSN 0010-4620. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Monograph
Watson, Phil and Dick, A.J.J. (1989) Least sorts in order-sorted term rewriting. Technical report. British Computer Society https://doi.org/10.1093/comjnl/34.1.16. (doi:https://doi.org/10.1093/comjnl/34.1.16) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |