Sign in
Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.
Chaodong He
Yuxi Fu
Hongfei Fu
Published in:
FSEN (2011)
Keyphrases
</>
neural network
artificial intelligence
clustering algorithm
query processing
description logics