Journals in DBLP
Samson Abramsky , Guy McCusker Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Kohei Honda Abstract Process Structures. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Max I. Kanovich Simulating Computations in Second Order Non-Commutative Linear Logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] François Lamarche From Proof Nets to Games. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Patrick Lincoln , John C. Mitchell , Andre Scedrov The Complexity of Local Proof Search in Linear Logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Raymond McDowell , Dale Miller , Catuscia Palamidessi Encoding Transition Systems in Sequent Calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] François Métayer Some remarks on cyclic linear logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Misao Nagayama , Mitsuhiro Okada A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Mitsuhiro Okada Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Marco Pedicini Remarks on Elementary Linear Logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Vaughan R. Pratt Broadening the denotational semantics of linear logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Joshua S. Hodas , Jeffrey Polakow Forum as a Logic Programming Language. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Susumu Hayashi , Masakazu Ishikawa , Satoshi Kobayashi , Hiroshi Nakano , Syuichi Nakazaki Two Extensions of PX system. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Gavin M. Bierman Towards a Classical Linear lambda-calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Richard Blute , Philip J. Scott A Noncommutative Full Completeness Theorem. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Dirk van Dalen Intuitionism - Counting its Blessings. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Vincent Danos , Jean-Baptiste Joinet , Harold Schellinx Computational isomorphisms in classical logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Vincent Danos , Laurent Regnier Reversible, Irreversible and Optimal Lambda-machines. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Lorenzo Tortora de Falco Generalized standardization lemma for the additives. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Christophe Fouqueré , Jacqueline Vauzeilles Linear Logic for Taxonomical Networks and Database Updates. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Jean-Yves Girard On denotational completeness. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Jean-Yves Girard Coherent Banach Spaces: a continuous denotational semantics. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Jean-Yves Girard , Mitsuhiro Okada , Andre Scedrov Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Christian Retoré Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ]