Lindström's theorem, both syntax and semantics free.

Daniel Gaina Tomasz Kowalski

Published in: J. Log. Comput. (2022)

Keyphrases

database
real time
genetic algorithm
data sets
decision making
database systems
high quality
multiresolution
von neumann