Decidable Membership Problems for Finite Recurrent Systems over Sets of Naturals.

Published in: FCT (2005)

Keyphrases

optimization problems
solving problems
specific problems
data sets
neural network
machine learning
expert systems
management system
distributed systems
problems involving
information systems
multi agent
first order logic