Login / Signup

Proofs by Induction in Equational Theories with Constructors

Gérard P. HuetJean-Marie Hullot
Published in: FOCS (1980)
Keyphrases
  • equational theories
  • theorem proving
  • description logics
  • function symbols
  • inductive learning
  • inductive inference
  • general purpose
  • rule induction
  • induction algorithms
  • knowledge representation and reasoning