Even Simple π-Calculus Processes Are Difficult to Analyze.

M. M. Abbas Vladimir A. Zakharov

Published in: Autom. Control. Comput. Sci. (2019)

Keyphrases

machine learning
search engine
information systems
decision trees
expert systems
data model
computational model