A shallow embedding of Z in HOL.
Jonathan P. BowenMike GordonPublished in: Inf. Softw. Technol. (1995)
Keyphrases
- theorem prover
- natural language processing
- vector space
- robust image watermarking
- natural deduction
- watermarking algorithm
- question answering
- information extraction
- theorem proving
- neural network
- formal methods
- information hiding
- nonlinear dimensionality reduction
- signal processing
- structure preserving
- higher order logic
- wall street journal