Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2004, volume: 91, number:

1. J. Ian Munro
   Succinct Data Structures. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:3- [Journal]
   
2. Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu
   Checking Strong Open Congruence in Chi -Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:4-20 [Journal]
   
3. Jeremy E. Dawson
   Formalising General Correctness. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:21-42 [Journal]
   
4. William Duckworth
   Small Edge Dominating Sets of Regular Graphs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:43-55 [Journal]
   
5. Vladimir Estivill-Castro
   Generating Nearly Sorted Sequences - The use of measures of disorder. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:56-95 [Journal]
   
6. Elio Giovannetti
   Type Inference for Mobile Ambients in Prolog. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:96-115 [Journal]
   
7. David Hemer
   Higher-order associative commutative pattern matching for component retrieval. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:116-133 [Journal]
   
8. Charles Choy, Jesper Jansson, Kunihiko Sadakane, Wing-Kin Sung
   Computing the Maximum Agreement of Phylogenetic Networks. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:134-147 [Journal]
   
9. Tak Wah Lam, Tsuen-Wan Ngan, Kar-Keung To, Prudence W. H. Wong
   Aggressive Online Deadline Scheduling. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:148-157 [Journal]
   
10. Neil Leslie, Edwin D. Mares
    CHR: A Constructive Relevant Natural-deduction Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:158-170 [Journal]
    
11. Sven Hartmann, Sebastian Link
    A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:171-194 [Journal]
    
12. C. B. Jay, H. Y. Lu, Q. T. Nguyen
    The Polymorphic Imperative: a Generic Approach to In-place Update. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:195-211 [Journal]
    
13. Greg O'Keefe
    Towards a Readable Formalisation of Category Theory. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:212-228 [Journal]
    
14. Yuichi Asahiro, Takashi Horiyama, Kazuhisa Makino, Hirotaka Ono, Toshinori Sakuma, Masafumi Yamashita
    How to Collect Balls Moving in the Euclidean Plane. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:229-245 [Journal]
    
15. Jean Flower, Gem Stapleton
    Automated Theorem Proving with Spider Diagrams. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:246-263 [Journal]