Electronic Notes in Theoretical Computer Science, Volume 74

Volume 74, 2002

• Ted Hurley:
  Preface.
  Electronic Edition (link) BibTeX
• Andrew Butterfield, Jim Woodcock:
  Semantic domains for Handel-C.
  Electronic Edition (link) BibTeX
• Nils Anders Danielsson, Michael B. Smyth:
  Matroids from modules.
  Electronic Edition (link) BibTeX
• L. M. García Raffi, Salvador Romaguera, E. A. Sánchez-Pérez:
  The supremum asymmetric norm on sequence algebras: a general framework to measure complexity distances.
  Electronic Edition (link) BibTeX
• Roland Heinze:
  Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs.
  Electronic Edition (link) BibTeX
• C. M. W. Little:
  Parametrized quotation and self-reference.
  Electronic Edition (link) BibTeX
• David J. C. MacKay, Christopher P. Hesketh:
  Performance of low density parity check codes as a function of actual and assumed noise levels.
  Electronic Edition (link) BibTeX
• David J. C. MacKay, Michael S. Postol:
  Weaknesses of Margulis and Ramanujan-Margulis low-density parity-check cCodes.
  Electronic Edition (link) BibTeX
• M. O'Keeffe, Salvador Romaguera, Michel P. Schellekens:
  Norm-weightable Riesz spaces and the dual complexity space.
  Electronic Edition (link) BibTeX
• M. O'Keeffe, Michel P. Schellekens:
  Average merge time: an intuitive interpretation.
  Electronic Edition (link) BibTeX
• Colm Ó'Dúnlaing:
  Inorder traversal of splay trees.
  Electronic Edition (link) BibTeX
• Salvador Romaguera, E. A. Sánchez-Pérez, O. Valero:
  The complexity space of a valued linearly ordered set.
  Electronic Edition (link) BibTeX
• Michael B. Smyth:
  The constructive maximal point space.
  Electronic Edition (link) BibTeX
• Mark Sofroniou, Giulia Spaletta:
  On the construction of a new generalization of Runge-Kutta methods.
  Electronic Edition (link) BibTeX
• Rueiher Tsaur, Michael B. Smyth:
  Fixed points in digital topology (via Helly posets).
  Electronic Edition (link) BibTeX