Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs.
Nada HabliAmy P. FeltyPublished in: PxTP@CADE (2013)
Keyphrases
- higher order
- theorem prover
- high order
- pairwise
- natural images
- theorem proving
- digital libraries
- database
- formal proof
- information systems
- conditional random fields
- neural network
- decision procedures
- inference rules
- high level
- artificial intelligence
- software development
- hidden markov models
- multimedia
- markov models
- low order
- knowledge base
- natural deduction
- hybrid approaches
- lambda calculus