Order-sorted term rewriting
Dick, A.J.J.,
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)
(KAR id:21011)
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.
(Contact us about this Publication)
|
- Depositors only (login required):
|