Linear Logic

·1987·DOI

Health Data Science

Computational and Interdisciplinary Sciences

Advanced Computational Techniques

Algorithms in Logic and Computation

Role in the Field

Neutralin Health Data Science

Neutralin Computational and Interdisciplinary Sciences

Neutralin Advanced Computational Techniques

Neutralin Algorithms in Logic and Computation

Abstract

Citations

2,540

Year

1987

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

Foundations Of Logic Programming

·1987·2,049 citations

Graph-Based Algorithms For Boolean Function Manipulation

·1986·5,683 citations

Can Programming Be Liberated From The Von Neumann Style?

·1978·1,713 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