Eager Equality for Rational Number Arithmetic.

Jan A. Bergstra John V. Tucker

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

decision making
real time
image sequences
preprocessing
mobile robot
fixed number
arithmetic operations