Login / Signup

Unification in Extension of Shallow Equational Theories.

Florent JacquemardChristoph MeyerChristoph Weidenbach
Published in: RTA (1998)
Keyphrases
  • equational theories
  • theorem proving
  • question answering
  • information extraction
  • function symbols
  • higher order
  • database management systems
  • labeled data