Journals in DBLP
J. W. de Bakker Fixed Points in Metric Semantics. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] George M. Reed Measurements on domains and topology. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Steven David Prestwich Parallel Software Performance Metrics as Continuous Functions of Event Times. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] John Power Models for the computational lambda-calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Alessandra Di Pierro , Herbert Wiklicky Linear Structures for Concurrency in Probabilistic Programming Languages. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Claus Pahl A Superposition Operator for the Refinement of Algebraic Models. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Stephen G. Matthews Pixel Geometry. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Keye Martin The space of maximal elements in a compact domain. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Giorgio Levi Abstract Interpretation Based Verification of Logic Programs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Joy N. Reed , J. E. Sinclair Refinement-Preserving Plug-In Components. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Michael D. Rice , Michael Siff Clusters, Concepts, and Pseudometrics. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Milan Vojvoda Enhancements of a clock-controlled running key generator. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Michael B. Smyth , Rueiher Tsaur A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Anthony Karel Seda Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Dana S. Scott Powersets, Fixed Points, and Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Peter Y. A. Ryan Process Algebra and Information Flow. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Steve Schneider May Testing, Non-interference, and Compositionality. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] A. W. Roscoe , Philippa J. Broadfoot , Gavin Lowe Data independent verification of crypto-protocols. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Salvador Romaguera , Michel P. Schellekens Weightable quasi-metric semigroups and semilattices. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Jimmie Lawson Presentation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Ralph Kummetz Uniform Completion versus Ideal Completion of Posets with Projections. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Marc R. C. van Dongen Polynomial Ideals, Gröbner Bases and Constraints. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Marco Comini , Roberta Gori , Giorgio Levi Assertion based Inductive Verification Methods for Logic Programs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Iliano Cervesato Typed Multiset Rewriting Specifications of Security Protocols. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Luca Cardelli , Andy Gordon , Giorgio Ghelli Secrecy, Group Creation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Bruce S. Burdick Iterated Duals of Certain Topological Spaces. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Vasco Brattka Recursion and Computability over Topological Structures. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Howard A. Blair Locating Self-Organization at the Edge of Chaos. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Howard A. Blair The Differential Scheme for Models of Computation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Abbas Edalat The domain of differentiable functions. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Martín Hötzel Escardó Hausdorff compactifications of topological function spaces via the theory of continuous lattices. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Ralph Kopperman The other topology. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Reinhard Kahle Proof-theoretic notions for software maintenance. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Pascal Hitzler , Anthony Karel Seda On the Coincidence of Semantics for Uniquely Determined Programs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Thomas T. Hildebrandt Categorical Models for Fairness: Completion vs Delay. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Reinhold Heckmann A Non-Topological View of Dcpos as Convergence Spaces (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Jerry den Hartog , Erik P. de Vink , J. W. de Bakker Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Dick Hamlet Mathematics, Computer Science, Software Engineering. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Klemens Hägele , Colm Ó'Dúnlaing , Søren Riis The complexity of scheduling TV commercials. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Bart Windels Solve[order/topology == quasi-metric/x, x]. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ]