Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 140, number:

1. Pierre Lescanne, René David, Marek Zaionc
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:1- [Journal]
   
2. Bartlomiej Bosek, Piotr Micek
   Variants of Online Chain Partition Problem of Posets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:3-13 [Journal]
   
3. Przemyslaw Broniek
   On-line Chain Partitioning as a Model for Real-time Scheduling. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:15-29 [Journal]
   
4. Karim Nour, Khelifa Saber
   A Semantics of Realisability for the Classical Propositional Natural Deduction. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:31-39 [Journal]
   
5. Marek Zaionc
   Probabilistic Approach to the Lambda Definability for Fourth Order Types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:41-54 [Journal]
   
6. Patrick Thevenon
   Validation of Proofs Using PhoX. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:55-66 [Journal]
   
7. Jakub Kozik
   Conditional Densities of Regular Languages. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:67-79 [Journal]
   
8. Grzegorz Matecki
   Asymptotic Density for Equivalence. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:81-91 [Journal]
   
9. Jean Duprat
   About Constructive vectors. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:93-100 [Journal]
   
10. René David, Karim Nour
    Why the Usual Candidates of Reducibility Do Not Work for the Symmetric lamba-my-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:101-111 [Journal]
    
11. Pawel Waszkiewicz
    Approximation Simply Characterized. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:140, n:, pp:113-117 [Journal]