An Approach for Finding C-Linear Complete Inference Systems

Authors:
James R. Slagle
Affiliations:
Heuristics Laboratory, Division of Computer Research and Technology, National Institutes of Health, Bethesda, MD
Venue:
Journal of the ACM (JACM)
Year:
1972

Citing 6
Cited 3

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

Journal of the ACM (JACM)
Automatic Theorem Proving With Renamable and Semantic Resolution

Journal of the ACM (JACM)
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness

Journal of the ACM (JACM)
Interpolation Theorems for Resolution in Lower Predicate Calculus

Journal of the ACM (JACM)
Completeness of Linear Refutation for Theories with Equality

Journal of the ACM (JACM)
Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets

Journal of the ACM (JACM)

A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers

IEEE Transactions on Software Engineering
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

Journal of the ACM (JACM)
A theorem-proving language for experimentation

Communications of the ACM

Quantified Score

Hi-index	0.02

Visualization

Abstract