Elementary algebraic specifications of the rational complex numbers

Autor:	Bergstra, J.A., Tucker, J.V., Futatsugi, K., Jouannaud, J-P., Messeguer, J.
Přispěvatelé:	Theory of Computer Science (IVI, FNWI)
Rok vydání:	2006
Zdroj:	Algebra, Meaning, and Computations, 4060, 459-475
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=narcis______::f1c963f9d086385e2a578a8b69577cf6 https://dare.uva.nl/personal/pure/en/publications/elementary-algebraic-specifications-of-the-rational-complex-numbers(0bfdc006-7edb-48b7-8014-1f029906e3b0).html Zobrazit plný text záznamu