An equational approach to theorem proving in first-order predicate calculus

Authors:
Deepak Kapur;Paliath Narendran
Affiliations:
General Electric Company, Schenectady, New York;General Electric Company, Schenectady, New York
Venue:
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Year:
1985

Citing 5
Cited 1

Computer algebra: symbolic and algebraic computation (2nd ed.)

Computer algebra: symbolic and algebraic computation (2nd ed.)
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
Rewrite Methods for Clausal and Non-Clausal Theorem Proving

Proceedings of the 10th Colloquium on Automata, Languages and Programming

Extending clause learning of SAT solvers with Boolean Gröbner bases

CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing

Quantified Score

Hi-index	0.00

Visualization

Abstract