Algebraic Foundations of Proof Refinement.

Jonathan Sterling Robert Harper

Published in: CoRR (2017)

Keyphrases

artificial intelligence
theorem prover
theorem proving
database
databases
computer algebra
mathematical proofs
learning algorithm
decision trees
multi agent systems
linear logic
automated theorem proving