Login / Signup
A Mechanized Theory of the Pi-Calculus in HOL.
Thomas F. Melham
Published in:
Nord. J. Comput. (1994)
Keyphrases
</>
computer algebra
formal methods
theorem prover
natural deduction
theoretical basis
theoretical framework
data sets
neural network
decision making
formal theory
artificial intelligence
database systems
bayesian networks