Strategy independent reduction lengths in rewriting and binary arithmetic

Find Full text
Thumbnail
Fulltext:
92375.pdf
Size:
75.41Kb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
2011
Author(s)
Zantema, H.
Publisher
Valencia : [S.n.]
In
Escobar, S. (ed.), Reduction Strategies in Rewriting and Programming 10th International Workshop, WRS 2011 Novi Sad, Serbia, 29 May 2011 : Informal proceedings, pp. 41-45
Related links
Annotation
Reduction Strategies in Rewriting and Programming 10th International Workshop, WRS 2011 Novi Sad, Serbia, 29 May 2011.
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/92375   https://hdl.handle.net/2066/92375
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.