Login / Signup
Orderings for Equational Proofs
Leo Bachmair
Nachum Dershowitz
Jieh Hsiang
Published in:
LICS (1986)
Keyphrases
</>
equational theories
theorem proving
theorem prover
inference rules
first order logic
decision procedures
natural deduction
neural network
horn clauses
proof search
mathematical proofs
databases
learning algorithm
formal proof