First-order separation over countable ordinals.

Thomas Colcombet Sam van Gool Rémi Morvan

Published in: CoRR (2022)

Keyphrases

higher order
first order logic
markov chain
quantifier elimination
relational learning
real time
social networks
decision trees
data structure
description logics