Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 161, number:

1. Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:1-2 [Journal]
   
2. Michael Huth
   Topological Analysis of Refinement. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:3-23 [Journal]
   
3. Georg Essl
   Computation of Wave Fronts on a Disk I: Numerical Experiments. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:25-41 [Journal]
   
4. Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini
   A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:43-57 [Journal]
   
5. John Power
   Countable Lawvere Theories and Computational Effects. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:59-71 [Journal]
   
6. Andrew Butterfield, Jim Woodcock
   A "Hardware Compiler" Semantics for Handel-C. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:73-90 [Journal]
   
7. Sharon Flynn, Dick Hamlet
   On Formal Specification of Software Components and Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:91-107 [Journal]
   
8. Anthony Karel Seda
   On the Integration of Connectionist and Logic-Based Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:109-130 [Journal]
   
9. Alessandra Di Pierro, Herbert Wiklicky
   Operator Algebras and the Operational Semantics of Probabilistic Languages. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:131-150 [Journal]
   
10. Rueiher Tsaur, Michael B. Smyth
    Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:151-163 [Journal]
    
11. M. O'Keeffe, Homeira Pajoohesh, Michel P. Schellekens
    Decision Trees of Algorithms and a Semivaluation to Measure Their Distance. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:175-183 [Journal]