Semantics of a sequential language for exact real-number computation

Autor:	Marcial-Romero, J. Raymundo, Escardó, Martín H.
Zdroj:	In Theoretical Computer Science 2007 379(1):120-141
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect