On the Expressiveness of Büchi Arithmetic.

Christoph Haase Jakub Rózycki

Published in: CoRR (2020)

Keyphrases

expressive power
arithmetic operations
floating point
three dimensional
database
databases
artificial intelligence
multi agent
information gain