Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 173, number:

1. Marcelo P. Fiore
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:1-2 [Journal]
   
2. John Power
   Abstract Syntax: Substitution and Binders: Invited Address. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:3-16 [Journal]
   
3. Andreas Abel, Klaus Aehlig, Peter Dybjer
   Normalization by Evaluation for Martin-Löf Type Theory with One Universe. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:17-39 [Journal]
   
4. Thomas Anberrée
   On the Non-sequential Nature of Domain Models of Real-number Computation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:41-46 [Journal]
   
5. Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni
   What You Lose is What You Leak: Information Leakage in Declassification Policies. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:47-66 [Journal]
   
6. Guy Beaulieu
   Probabilistic Completion of Nondeterministic Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:67-84 [Journal]
   
7. Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
   Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:85-102 [Journal]
   
8. Manfred Droste, Dietrich Kuske
   Almost Every Domain is Universal. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:103-119 [Journal]
   
9. Davide Grohmann, Marino Miculan
   Directed Bigraphs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:121-137 [Journal]
   
10. Hans Hüttel, Michael D. Pedersen
    A Logical Characterisation of Static Equivalence. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:139-157 [Journal]
    
11. Achim Jung, M. Andrew Moshier
    A Hofmann-Mislove theorem for Bitopological Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:159-175 [Journal]
    
12. Bartek Klin
    Coalgebraic Modal Logic Beyond Sets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:177-201 [Journal]
    
13. James Laird
    Sequentiality and the CPS Semantics of Fresh Names. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:203-219 [Journal]
    
14. Paul Blain Levy
    Amb Breaks Well-Pointedness, Ground Amb Doesn't. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:221-239 [Journal]
    
15. Ernie Manes
    Taut Monads, Dynamic Logic and Determinism. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:241-262 [Journal]
    
16. Joe Mashburn
    A Spectral Order for Infinite Dimensional Quantum Spaces: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:263-273 [Journal]
    
17. Massimo Merro
    An Observational Theory for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:275-293 [Journal]
    
18. Rasmus Ejlers Møgelberg, Alex Simpson
    Relational Parametricity for Control Considered as a Computational Effect. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:295-312 [Journal]
    
19. Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
    Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:313-337 [Journal]
    
20. David A. Schmidt
    Extracting Program Logics From Abstract Interpretations Defined by Logical Relations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:339-356 [Journal]
    
21. Dimitrios Vytiniotis, Stephanie Weirich
    Free Theorems and Runtime Type Representations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:357-373 [Journal]