Stably computable predicates are semilinear.

Dana Angluin James Aspnes David Eisenstat

Published in: PODC (2006)

Keyphrases

turing machine
database
horn clauses
neural network
social networks
knowledge base
video sequences
preprocessing
special case
symmetry breaking
finite sets