Fundamental group in o-minimal structures with definable Skolem functions.

Bruno Dinis Mário J. Edmundo Marcello Mamino

Published in: Ann. Pure Appl. Log. (2021)

Keyphrases

first order logic
relational structures
search engine
special case
database
databases
information retrieval
image processing
natural language
relational databases
expressive power
group members