Login / Signup
A finite equational base for CCS with left merge and communication merge.
Luca Aceto
Wan J. Fokkink
Anna Ingólfsdóttir
Bas Luttik
Published in:
ACM Trans. Comput. Log. (2009)
Keyphrases
</>
equational theories
computer vision
data sets
databases
information retrieval
genetic algorithm
learning algorithm
decision making
expert systems
artificial neural networks
inductive logic programming
information exchange
finite number