A process calculus with finitary comprehended terms

Jan A. Bergstra Cornelis A. Middelburg

Published in: CoRR (2009)

Keyphrases

databases
finite state
background knowledge
co occurrence
relational databases
website
search engine
bayesian networks
optimal solution
genetic algorithm
dynamic programming
machine learning
neural network
process model
conceptual model
development process
data sets