25 citations · 290 across the 54 of their papers we have counts for
5 papers · 1 filter
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…
Division by zero in non-involutive meadows
J. A. Bergstra, C. A. Middelburg
Meadows have been proposed as alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operatio…
Partial Komori fields and imperative Komori fields
J. A. Bergstra, C. A. Middelburg
This paper is concerned with the status of 1/0 and ways to deal with it. These matters are treated in the setting of Komori fields, also known as non-trivial cancellation meadows.…
Arithmetical meadows
J. A. Bergstra, C. A. Middelburg
An inversive meadow is a commutative ring with identity equipped with a multiplicative inverse operation made total by choosing 0 as its value at 0. Previously, inversive meadows w…
Meadow enriched ACP process algebras
J. A. Bergstra, C. A. Middelburg
We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data…