Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi - researchr publication

researchr

You are not signed in
Sign in
Sign up

Patrick Lincoln, Natarajan Shankar. Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France. pages 282-291, IEEE Computer Society, 1994.

Abstract is missing.

runs on WebDSL