Encoding Natural Semantics in Coq.

Delphine Terrasse

Published in: AMAST (1995)

Keyphrases

formal semantics
semantic information
logic programming
theorem prover
formal methods
data sets
search engine
video coding
variable length
fractal image compression