Login / Signup
Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic.
Monica Nesi
Published in:
CAV (1991)
Keyphrases
</>
higher order logic
high level
higher order
theorem prover
theorem proving
concept formation
machine learning
conditional logic