The Foldl Operator as a Coequalizer Using Coq.

Antonio Blanco Enrique Freire Brañas José Luis Freire Javier París

Published in: EUROCAST (2009)

Keyphrases

theorem prover
formal methods
denoising
data sets
artificial intelligence
image processing
information technology