Semantics of Exact Real Arithmetic.

Peter John Potts Abbas Edalat Martín Hötzel Escardó

Published in: LICS (1997)

Keyphrases

real life
logic programming
databases
high level
floating point
real world
machine learning
information retrieval
data model
argumentation semantics