Definability of summation problems for Abelian groups and semigroups.

Faried Abu Zaid Anuj Dawar Erich Grädel Wied Pakusa

Published in: LICS (2017)

Keyphrases

problems involving
real time
data sets
neural network
computer vision
expert systems
sufficient conditions
fixed point
combinatorial optimization
solving problems
open problems