Asynchronous \pi -calculus at Work: The Call-by-Need Strategy.

Davide Sangiorgi

Published in: The Art of Modelling Computational Systems (2019)

Keyphrases

computer algebra
machine learning
learning algorithm
decision making
data structure
evolutionary algorithm
search strategy
automated deduction
provably correct