Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2000, volume: 37, number:

1. David J. Pym
   Notes Towards a Semantics for Proof-search. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal]
   
2. Didier Galmiche
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal]
   
3. Didier Galmiche, J.-M. Notin
   Proof-search and proof nets in Mixed Linear Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal]
   
4. James Harland, David J. Pym, Michael Winikoff
   Forward and Backward Chaining in Linear Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal]
   
5. Sachio Hirokawa, Daisuke Nagano
   Long Normal Form Proof Search and Counter-Model Generation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal]
   
6. Nikos Mylonakis
   Proof assistance for refinement in type theory. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal]
   
7. Aleksey Nogin
   Writing Constructive Proofs Yielding Efficient Extracted Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal]