First-order separation over countable ordinals.

Thomas Colcombet Sam van Gool Rémi Morvan

Published in: FoSSaCS (2022)

Keyphrases

first order logic
higher order
markov chain
artificial intelligence
information retrieval
data structure
quantifier elimination
database systems
horn clauses