Decidable Subsets of CCS.

Søren Christensen Yoram Hirshfeld Faron Moller

Published in: Comput. J. (1994)

Keyphrases

first order logic
database
databases
data mining
learning algorithm
artificial intelligence
decision making
decision trees
search algorithm