Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers.

Jan A. Bergstra

Published in: Sci. Ann. Comput. Sci. (2020)

Keyphrases

closely related
special case
high level
state machines
real time
decision making
database
case study
multiscale
expert systems
higher level
mathematical theory