The Knowledge Complexity Of Interactive Proof Systems

·1989·DOI
Health Data Science
Data Science and Technologies
Algorithms and Logical Systems
Algorithms in Logic and Computation

Role in the Field

Neutralin Health Data Science
Neutralin Data Science and Technologies
Neutralin Algorithms and Logical Systems
Neutralin Algorithms in Logic and Computation

Abstract

Citations

1,933

Year

1989

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
Linear Logic
·1987·2,540 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