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)