25 citations · 290 across the 54 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.RA2015★ 12 cited
Transformation of fractions into simple fractions in divisive meadows
J. A. Bergstra, C. A. Middelburg
Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposin…
cs.PL2015★ 11 cited
On instruction sets for Boolean registers in program algebra
J. A. Bergstra, C. A. Middelburg
In previous work carried out in the setting of program algebra, including work in the area of instruction sequence size complexity, we chose instruction sets for Boolean registers…