Jan A. Bergstra
articles X
1 Publications
Elementary algebraic specifications of the rational complex numbers
2006
in: Algebra, meaning, and computation, Berlin,
1 Publications
1 Publications
in: Algebra, meaning, and computation, Berlin,
1 Publications