Volume 74,
2002
The Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2002)
July 2002
- Ted Hurley:
Preface.
- Andrew Butterfield, Jim Woodcock:
Semantic domains for Handel-C.
- Nils Anders Danielsson, Michael B. Smyth:
Matroids from modules.
- 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.
- Roland Heinze:
Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs.
- C. M. W. Little:
Parametrized quotation and self-reference.
- David J. C. MacKay, Christopher P. Hesketh:
Performance of low density parity check codes as a function of actual and assumed noise levels.
- David J. C. MacKay, Michael S. Postol:
Weaknesses of Margulis and Ramanujan-Margulis low-density parity-check cCodes.
- M. O'Keeffe, Salvador Romaguera, Michel P. Schellekens:
Norm-weightable Riesz spaces and the dual complexity space.
- M. O'Keeffe, Michel P. Schellekens:
Average merge time: an intuitive interpretation.
- Colm Ó'Dúnlaing:
Inorder traversal of splay trees.
- Salvador Romaguera, E. A. Sánchez-Pérez, Oscar Valero:
The complexity space of a valued linearly ordered set.
- Michael B. Smyth:
The constructive maximal point space.
- Mark Sofroniou, Giulia Spaletta:
On the construction of a new generalization of Runge-Kutta methods.
- Rueiher Tsaur, Michael B. Smyth:
Fixed points in digital topology (via Helly posets).
Copyright © Mon Mar 15 04:00:55 2010
by Michael Ley (ley@uni-trier.de)