Manumap
  • Explore
  • Search
  1. Home
  2. Search
  3. An Axiomatic Basis For Computer Programming

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)

Manumap

Explore the academic research landscape through interactive visualization and discovery tools.

Navigate

  • Explore Map
  • Search Papers
© 2026 Manumap. All rights reserved.