Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Monograph | Conference or workshop item
Number of items: 2.
Monograph
| Martin, U.H. and Cohen, Dave and Lai, M.K.F. and Norrie, K.J. and Watson, Phil (1990) Case studies in equational reasoning. Technical report. (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) |
Conference or workshop item
| Cohen, Dave and Watson, Phil (1991) An efficient representation of arithmetic for term rewriting. In: Book, Ronald V., ed. Rewrite Techniques and Applications, Proceedings of the 4th Conference on Rewrite Techniques and Applications, Como, Italy, 1991. Lecture Notes in Computer Science, 488. Springer Verlag pp. 240-251. (doi:https://doi.org/10.1007/3-540-53904-2_100) (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) |
