Login / Signup
Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool.
Camilo Rocha
Published in:
Rev. Colomb. de Computación (2013)
Keyphrases
</>
proof search
linear logic
theorem prover
proof planning
theorem proving
search space
inference rules