Semantics of a sequential language for exact real-number computation.

José Raymundo Marcial-Romero Martín Hötzel Escardó

Published in: Theor. Comput. Sci. (2007)

Keyphrases

maximum number
small number
data sets
genetic algorithm
real life
programming language
real world
optimal solution
computational complexity
language learning