Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 1.

Conference or workshop item

Cohen, D. and Watson, P. (1991) An efficient representation of arithmetic for term rewriting. In: Rewrite Techniques and Applications, Proceedings of the 4th Conference on Rewrite Techniques and Applications, Como, Italy, 1991. (The full text of this publication is not available from this repository)

This list was generated on Thu Jun 19 15:16:35 2014 BST.