Can Programming Be Liberated From The Von Neumann Style?

·1978·DOI

Health Data Science

Computational and Interdisciplinary Sciences

Algorithms and Logical Systems

Algorithms in Logic and Computation

Role in the Field

Neutralin Health Data Science

Neutralin Computational and Interdisciplinary Sciences

Neutralin Algorithms and Logical Systems

Neutralin Algorithms in Logic and Computation

Abstract

Citations

1,713

Year

1978

PageRank

5.2 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Causal Inference Without Balance Checking: Coarsened Exact Matching

·2012·2,372 citations

Trends In Logic

·2000·1,962 citations

Trends In Logic

·1998·1,848 citations

The Knowledge Complexity Of Interactive Proof Systems

·1989·1,933 citations

·1987·2,540 citations

Foundations Of Logic Programming

·1987·2,049 citations

Graph-Based Algorithms For Boolean Function Manipulation

·1986·5,683 citations

Logical Reversibility Of Computation

·1973·2,418 citations

A Machine-Oriented Logic Based On The Resolution Principle

·1965·2,415 citations

A Machine Program For Theorem-Proving

·1962·1,859 citations