Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 50, number: 2

1. Viviana Bono, Ivano Salvo
   A CuCh Interpretation of an Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
   
2. Beatrice Capitani, Michele Loreti, Betti Venneri
   Hyperformulae, Parallel Deductions and Intersection Types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
   
3. Mariangiola Dezani-Ciancaglini, Elio Giovannetti
   From Bohm's Theorem to Observational Equivalences: an Informal Account. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
   
4. Kosta Dosen, Zoran Petric
   The Typed Bohm Theorem. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
   
5. Jean-Jacques Lévy
   Introduction - Bohm's theorem: applications to Computer Science Theory - BOTH 2001. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
   
6. Satoshi Matsuoka
   On intuitionistic proof nets with additional rewrite rules and their approximations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
   
7. Antonino Salibra
   Towards Lambda Calculus Order-Incompleteness. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]