Proof strategies in linear logic

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

Fiftieth volume of theoretical computer science

Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations

Computing, Computer Science, Mathematics +7

Logic Programming with Focusing Proofs in Linear Logic

Jean‐Marc Andreoli · Journal of Logic and Computation · 1992 · 652 citations

Computing, Computer Science, Formal Methods +13

Logic Programming in a Fragment of Intuitionistic Linear Logic

Joshua S. Hodas, Dale Miller · Information and Computation · 1994 · 395 citations · Full text

Computing, Computer Science, Mathematics +12