Login / Signup
First-Order Interpretations of Bounded Expansion Classes.
Jakub Gajarský
Stephan Kreutzer
Jaroslav Nesetril
Patrice Ossona de Mendez
Michal Pilipczuk
Sebastian Siebertz
Szymon Torunczyk
Published in:
ACM Trans. Comput. Log. (2020)
Keyphrases
</>
data sets
higher order
finite model theory
real world
artificial intelligence
search algorithm
first order logic