A Computing Procedure For Quantification Theory

·1960·DOI
Health Data Science
Computational and Interdisciplinary Sciences
Algorithms and Logical Systems
Algebra in Quantum Dynamics

Role in the Field

Neutralin Health Data Science
Neutralin Computational and Interdisciplinary Sciences
Neutralin Algorithms and Logical Systems
Neutralin Algebra in Quantum Dynamics

Abstract

Citations

1,616

Year

1960

PageRank

6.1 / 10

Relative influence (log-scaled)

Related Papers

11 of 11 papers

The Logic Of Connective Action
·2012·2,168 citations
f(R) Theories
·2010·3,049 citations
Matrix Analysis And Applied Linear Algebra
·2000·2,408 citations
The Magma Algebra System I: The User Language
·1997·4,434 citations
Global Aspects Of Current Algebra
·1983·2,232 citations
Algebraic Geometry
·1977·5,251 citations
On The Generators Of Quantum Dynamical Semigroups
·1976·5,536 citations
An Axiomatic Basis For Computer Programming
·1969·3,445 citations
An Analysis Of Transformations
·1964·10,101 citations
On Unitary Representations Of The Inhomogeneous Lorentz Group
·1939·2,335 citations
On Computable Numbers, With An Application To The Entscheidungsproblem
·1937·2,607 citations