Sign in
Formalising a Value-Passing Calculus in HOL.
Monica Nesi
Published in:
Formal Aspects Comput. (1999)
Keyphrases
</>
natural deduction
theorem prover
inference rules
computer algebra
theorem proving
automated theorem proving
formal methods
sequent calculus
learning algorithm
proof procedure
database
decision making
probabilistic model
database query languages
timed automata