Proofs by Induction in Equational Theories with Constructors.

Gérard P. Huet Jean-Marie Hullot

Published in: J. Comput. Syst. Sci. (1982)

Keyphrases

equational theories
theorem proving
description logics
function symbols
knowledge representation and reasoning
decision trees
proof search
artificial intelligence
bayesian networks
relational databases
inductive logic programming