Login / Signup

Computational Soundness of Equational Theories (Tutorial).

Steve Kremer
Published in: TGC (2007)
Keyphrases
  • equational theories
  • theorem proving
  • database
  • databases
  • machine learning
  • programming language