Login / Signup

Computationally Sound Implementations of Equational Theories Against Passive Adversaries.

Mathieu BaudetVéronique CortierSteve Kremer
Published in: ICALP (2005)
Keyphrases
  • equational theories
  • theorem proving
  • machine learning
  • efficient implementation
  • bounded rationality
  • function symbols
  • database
  • logic programming