


default search action
2nd MFCSIT 2002: Galway, Ireland
- Sharon Flynn, Ted Hurley, Mícheál Mac an Airchinnigh, Niall Madden, Michael McGettrick, Michel P. Schellekens, Anthony Karel Seda:
Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2002, Galway, Ireland, July 18-19, 2002. Electronic Notes in Theoretical Computer Science 74, Elsevier 2003 - Andrew Butterfield
, Jim Woodcock
:
Semantic domains for Handel-C. 1-20 - Nils Anders Danielsson, Michael B. Smyth:
Matroids from modules. 21-38 - Lluís Miquel Garcia-Raffi
, Salvador Romaguera, Enrique Alfonso Sánchez-Pérez:
The supremum asymmetric norm on sequence algebras: a general framework to measure complexity distances. 39-50 - Roland Heinze:
Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs. 51-68 - C. M. W. Little:
Parametrized quotation and self-reference. 69-88 - David J. C. MacKay, Christopher P. Hesketh:
Performance of low density parity check codes as a function of actual and assumed noise levels. 89-96 - David J. C. MacKay, Michael S. Postol:
Weaknesses of Margulis and Ramanujan-Margulis low-density parity-check cCodes. 97-104 - Maria O'Keeffe, Salvador Romaguera, Michel P. Schellekens:
Norm-weightable Riesz spaces and the dual complexity space. 105-121 - Maria O'Keeffe, Michel P. Schellekens:
Average merge time: an intuitive interpretation. 122-133 - Colm Ó'Dúnlaing:
Inorder traversal of splay trees. 134-157 - Salvador Romaguera, Enrique Alfonso Sánchez-Pérez, Óscar Valero
:
The complexity space of a valued linearly ordered set. 158-171 - Michael B. Smyth:
The constructive maximal point space. 172-188 - Mark Sofroniou, Giulia Spaletta:
On the construction of a new generalization of Runge-Kutta methods. 189-206 - Rueiher Tsaur, Michael B. Smyth:
Fixed points in digital topology (via Helly posets). 207-223 - Ted Hurley:
Preface. 224-225

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.