Theorem Proving via General Matings
Data up to Jan 2025
Total Citations Per Year
Abstract
References (13)
The Art of Computer Programming
1968 • 16,727 citations
A Machine-Oriented Logic Based on the Resolution Principle
1965 • 3,880 citations
Algebraic Coding Theory
2014 • 2,554 citations
A formulation of the simple theory of types
1940 • 1,881 citations
Computable algebra, general theory and theory of computable fields.
1960 • 310 citations
A Proof Procedure Using Connection Graphs
1975 • 263 citations
Algorithms for polynomial factorization.
1971 • 69 citations
A proof procedure for quantification theory
1955 • 49 citations
The SAC-1 system
1971 • 47 citations
Factoring multivariate polynomials over the integers
1973 • 20 citations
The SAC-1 Modular Arithmetic System
1972 • 19 citations
A syntactic connection between proof procedures and refutation procedures
1977 • 9 citations
A form of herbrand's theorem
1969 • 1 citations