Abstraction Barriers in Equational Proof.

Jo Erskine Hannay

Published in: AMAST (1998)

Keyphrases

theorem proving
theorem prover
automated theorem proving
inference rules
high level
first order logic
proof search
equational theories
proof planning
geometry theorem proving
state abstraction
artificial intelligence
database systems