Completeness of Linear Refutation for Theories with Equality.

Chin-Liang Chang James R. Slagle

Published in: J. ACM (1971)

Keyphrases

theorem prover
linear systems
theorem proving
transfer function
linear constraints
information retrieval
decision making
multiscale
multi agent
theoretical framework
closed form
linear complexity
equational theories