1 citations · 1 across the 1 of their papers we have counts for
1 paper
Boas Kluiving, Wijnand van Woerkom
In this paper we examine a number of term rewriting system for integer number representations, building further upon the datatype defining systems described in [2]. In particular,…