The π-Calculus is Behaviourally Complete and Orbit-Finitely Executable.

Bas Luttik Fei Yang

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

provably correct
database
information systems
website
finite number
automated theorem proving
neural network
machine learning
genetic algorithm
search engine
e learning
multiscale
description logics