DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
Theoretical Computer Science. Logic Semantics and Theory of Programming. Volume 135, Number 1, December 5, 1994,
TULANE UNIV NEW ORLEANS LA DEPT OF MATHEMATICS
Pagination or Media Count:
CONTENTS MW. Mislove, G.M. Reed, A. W Roscoe and R. F. Wachter Foreword S. Abramsky Preface Abramsky Proofs as processes G. Bellin and P.j Scott On the it-calculus and linear logic D. Galmiche and G. Perrier On proof normalization in linear logic G. F. Mascari and M. Pedicini Head linear reduction and pure proof net extraction P. Lincoln and A. Scedrov First-order linear logic without modalities in NEXPTlME-hard P. Lincoln and T Winkler Constant-only multiplicative linear logic is NP-complete. P. 10
APPROVED FOR PUBLIC RELEASE