Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2003, volume: 85, number: 7

1. Grzegorz Bancerek
   On the structure of Mizar types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
   
2. Yves Bertot
   Simple canonical representation of rational numbers. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
   
3. David Chemouil, Sergei Soloviev
   Remarks on isomorphisms of simple inductive types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
   
4. Gilles Dowek, Ying Jiang
   Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
   
5. Herman Geuvers, Fairouz Kamareddine
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
   
6. M. Randall Holmes
   Polymorphic type checking for the ramified theory of types of Principia Mathematica. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
   
7. Gueorgui I. Jojgov
   Tactics and parameters. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
   
8. Fairouz Kamareddine, Twan Laan, Rob Nederpelt
   Automath and Pure Type Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
   
9. Fairouz Kamareddine, Alejandro Ríos
   Explicit substitutions à la de Bruijn: the local and global way. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]