Omitting types algebraically and more about amalgamation for modal cylindric algebras.

Tarek Sayed Ahmed

Published in: Math. Log. Q. (2021)

Keyphrases

pairwise
databases
information retrieval
genetic algorithm
search engine
computer vision
feature selection
decision trees
user interface
modal logic
experimental verification
topological spaces