Login / Signup

Computationally sound implementations of equational theories against passive adversaries.

Mathieu BaudetVéronique CortierSteve Kremer
Published in: Inf. Comput. (2009)
Keyphrases
  • equational theories
  • theorem proving
  • efficient implementation
  • machine learning
  • function symbols