An Axiomatic Basis For Computer Programming

·1969·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

3,445

Year

1969

PageRank

6.4 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

The Logic Of Connective Action

·2012·2,168 citations

·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 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