Login / Signup

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