Interfacing HOL90 with a Functional Database Query Language.

Elsa L. Gunter Leonid Libkin

Published in: TPHOLs (1995)

Keyphrases

formal methods
functional analysis
real time
data sets
real world
information retrieval
wide range
data acquisition
database
artificial intelligence
knowledge base
image segmentation
higher order
monitoring system
theorem prover
theorem proving