Login / Signup
Proofs by Inducting in Equational Theories with Relations Between Constructors.
E. Paul
Published in:
CAAP (1984)
Keyphrases
</>
equational theories
theorem proving
description logics
function symbols
semantic relations
high level
expert systems
knowledge representation and reasoning