On Finite Model Property of the Equational Theory of Kleene Algebras.

Published in: Fundam. Informaticae (2005)

Keyphrases

statistical model
theoretical framework
computational model
mathematical model
theoretical foundation
genetic algorithm
cost function
formal model
data sets
reinforcement learning
objective function
probabilistic model
management system
conceptual model
neural network model
mathematical framework