Abstractions from proofs.

Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Kenneth L. McMillan

Published in: POPL (2004)

Keyphrases

theorem proving
high level
formal proofs
theorem prover
equational theories
artificial neural networks
decision procedures
programming language
mathematical proofs
natural deduction
modal logic
databases
management system
hidden markov models
expert systems
multi agent
computer vision
genetic algorithm