Elementary algebraic specifications of the rational complex numbers

Authors
Publication date 2006
Host editors
  • K. Futatsugi
  • J-P. Jouannaud
  • J. Messeguer
Book title Algebra, Meaning, and Computations
Volume | Issue number 4060
Pages (from-to) 459-475
Publisher Springer-Verlag
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Conference contribution
Permalink to this page
Back