Repository | Directory | Profile
Jan A. Bergstra
Elementary algebraic specifications of the rational complex numbers
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
European Society
for Phenomenology
European Society
for Phenomenology
Repository | Directory | Profile
Elementary algebraic specifications of the rational complex numbers
2006
in: Algebra, meaning, and computation, Dordrecht : Springer