Journals in DBLP
Marcelo P. Fiore Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:1-2 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Davide Grohmann , Marino Miculan Directed Bigraphs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:121-137 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]