Login / Signup
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining.
Siva Anantharaman
Christopher Bouchard
Paliath Narendran
Michaël Rusinowitch
Published in:
Log. Methods Comput. Sci. (2014)
Keyphrases
</>
equational theories
theorem proving
theoretical framework
theorem prover
higher order
learning algorithm
computer vision
real time
information retrieval
artificial intelligence
bayesian networks
multiscale
image blocks
general theory
formal theory