25 citations · 290 across the 54 of their papers we have counts for
1 paper · 2 filters
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…