A New and Formalized Proof of Abstract Completion.
Nao HirokawaAart MiddeldorpChristian SternagelPublished in: ITP (2014)
Keyphrases
- higher level
- computer vision
- theorem prover
- low level
- knuth bendix
- high level
- theorem proving
- programming language
- special case
- mathematical proofs
- linear logic
- case based reasoning
- hidden markov models
- data mining
- data model
- relational databases
- data streams
- face recognition
- case study
- decision trees
- artificial intelligence