Countdown μ-Calculus.

Jedrzej Kolodziejski Bartek Klin

Published in: MFCS (2022)

Keyphrases

social networks
relational calculus
proof procedure
algebraic structure
databases
relational databases
formal language
computer algebra
database
genetic algorithm
artificial intelligence
search engine
computer vision
decision trees
similarity measure
data structure